Specyfikacja behawioralna dla rekonfigurowalnych sterowników logicznych z wykorzystaniem diagramów maszyny stanowej z języka UML 2.0

• Autorzy: Bazydło G.

Warianty tytułu

EN

A behavioral specification for reconfigurable logic controllers using UML 2.0 state machine diagrams

• Języki publikacji: PL

Abstrakty

PL

Język UML to graficzny język do obrazowania, specyfikowania, tworzenia i dokumentowania szeroko pojętych systemów informatycznych. Jego obecna wersja 2.0 wprowadziła wiele zmian, także w diagramach stanów, które teraz nazywają się diagramami maszyny stanowej. W referacie przedstawiono nietypowe wykorzystanie diagramów maszyny stanowej, bo do modelowania programów dla rekonfigurowalnych sterowników logicznych (specyfikacja behawioralna). Na początku referatu krótko zdefiniowano sterownik logiczny, a następnie omówiono opracowaną metodę jego specyfikacji z wykorzystaniem diagramów maszyny stanowej (UML 2.0), która, zdaniem autora, bardzo dobrze nadaje się do modelowania hierarchicznych układów współbieżnych. Zwrócono także uwagę na możliwość używania do specyfikacji programów dla sterowników logicznych, często darmowych, narzędzi UML do modelowania systemów informatycznych. Omawiane zagadnienia poparte zostały stosownymi przykładami.

EN

The Unified Modeling Language (UML) is a language for specifying, visualizing, constructing, and documenting artifacts of software systems, as well as for business modeling and other non-software systems. The UML represents a collection of the best engineering practices that have proven successful in modeling large and complex systems [4, 5]. The authors of UML are Grady Booch, Ivar Jacobson and James Rumbaugh. The current version of the language is 2.0. The UML language contains thirteen kinds of diagrams (structure and behavior diagrams). One of the behavior diagrams is a state machine diagram that defines a set of concepts that can be used for modeling discrete behavior through finite state transtion systems [11]. The UML language can be used not only for designing software systems, but also for other kinds of them, for example reactive systems [2, 7, 10]. This paper presents a method of using the UML language for behavioral specification for logic controllers such as PLC, RLC and reconfigurable FPGAs. Emphasis is put on diagrams that represent behavioral state machines, because they refer directly to the definition of Finite State Machines [6]. It is worth mentioning that state machine diagrams support various features of the modeling systems such as hierarchy and orthogonality. This support allows for designing the behavior of the complex and orthogonal systems in an intuitive and clear way, on the selected hierarchical level. For example Figure 3 shows a state machine diagram for "Reactor" model on the highest hierarchy level and Figure 4 represent all details of the designed system (lowest hierarchy level). Also a possibility of using UML tools was discussed. As for future research, the use of other diagrams from UML is going to be investigated, e.g., use case diagrams or activity diagrams. The former can be applied to analyze the user's needs and interface of the designed device. The activity diagrams can be used to prepare testbenches for the modeled system. But the main method to model the behavior of a system are state machine diagrams.

Słowa kluczowe

PL

UML; specyfikacja behawioralna; statechart

EN

UML; behavioral specification; statechart

• Wydawca: Wydawnictwo PAK
• Czasopismo: Pomiary Automatyka Kontrola
• Rocznik: 2007
• Tom: R. 53, nr 5
• Strony: 21--23
• Opis fizyczny: Bibliogr. 11 poz., rys.

Twórcy

autor

Bazydło G.

• Wydział Elektroniki, Informatyki i Telekomunikacji, Uniwersytet Zielonogórski,

Bibliografia

• [1] Bauer N., Engell S.: A Comparison of Sequential Function Charts and Statecharts and an Approach towards Integration, 58-69.
• [2] Bazydło G.: Wykorzystanie języka UML do modelowania małych systemów reaktywnych, Materiały VI Międzynarodowych Warsztatów Doktoranckich OWD 2004 - Wisła 2004, vol. 19, 2004.
• [3] McUmber W. E., Cheng B. H. C..: UML-Based Analysis of Embedded Systems Using a Mapping to VHDL, High-Assurance Systems Engineering, 1999. Proceedings. 4th IEEE International Symposium on, Washington, 1999.
• [4] Booch G., Rumbaugh J., Jacobson I.: UML przewodnik użytkownika, WNT, Warszawa 2001.
• [5] Fowler M., Scott K.: UML w kropelce, LTP, Warszawa 2002.
• [61 Harel D.: Statecharts, A visual formalism for complex Systems, Science of Computer Programming, Vol. 8, 1987.
• [7] Hard D., Politi M.: Modeling Reactive Systems With Statecharts: The Statemate Approach, McGraw Hill Text, 1998.
• [8] Harel D.: Rzecz o istocie informatyki, Algorytmika, WNT, Warszawa 1992.
• [9] Jaragh M., Saleh I. A.: Modeling Computer hardware using the Unified Modeling Language, TENCON'02. Proceedings, 2002 IEEE Region 10 Conference on Computers, Communications, Control and Power Engineering, 2002, vol. 1, 19-22.
• [10] Łabiak G.: Wykorzystanie hierarchicznego modelu współbieżnego automatu w projektowaniu sterowników cyfrowych, Oficyna Wydawnicza Uniwersytetu Zielonogórskiego, Zielona Góra 2005.
• [11] OMG: UML 2.0 Superstructure Specification, 2005 (http://www.omg.org/cgi-bin/doc?fomm1/05-07-04).
• [12] Wrycza S., Marcinkowski B., Wyrzykowski K.: Język UML 2.0 w modelowaniu systemów informatycznych, Helion, Gliwice 2005.