Projektowanie strukturalnych programów dla sterowników PLC na podstawie modelu maszyny stanowej UML

• Autorzy: Doligalski M. , Adamski M.

Warianty tytułu

EN

Design of PLC structured programs from UML state maschine model

• Języki publikacji: PL

Abstrakty

PL

Język UML (ang. Unified Modeling Language) jest efektywnym narzędziem w modelowaniu rożnego rodzaju systemów. Jego podzbiorem są diagramy statechart oparte na mapach stanów Davida Harela. Umożliwiają modelowanie procesów współbieżnych i przedstawianie specyfikacji na różnych poziomach abstrakcji. Diagramy statechart stanowią doskonałe narzędzie do specyfikacji systemów reaktywnych, a w szczególności programów dla przemysłowych sterowników logicznych. Zastosowanie ich w miejsce klasycznych metod takich jak sieci SFC czy FSM pozwala na uproszczenie procesu projektowania i tworzenie czytelnej dokumentacji. W artykule przedstawiono sposób wykorzystania języka UML, jako narzędzia do specyfikacji. Zaproponowano metodę implementacji programów sterowania z wykorzystaniem języka SFC oraz ST. Ilustracją omawianej tematyki jest przykładowy system sterowania.

EN

The Unified Modeling Language (UML) is the effective tool in the modeling of different kinds of systems. The statechart diagrams based on the David Harel's state maps represent its subset. The statechart diagrams enable the concurrent modeling processes and the presenting of specification on different abstraction levels. Statechart diagrams are the ideal tools for reactive systems specifications, tools for programmable logic controllers in particular. The use of the controller instead of such classic methods as SFC or FSM networks allows to simplify the design and specification process. The advantages of the UML language, as a specification tool, have been presented in the article. The article also presents the history state conversion method. The following exemplary controlling system is the illustration of the reviewed subject area.

Słowa kluczowe

PL

UML; PLC; statechart

EN

UML; PLC; statechart

• Wydawca: Wydawnictwo PAK
• Czasopismo: Pomiary Automatyka Kontrola
• Rocznik: 2007
• Tom: R. 53, nr 5
• Strony: 42--44
• Opis fizyczny: Bibliogr. 13 poz., rys., tab.

Twórcy

autor

Doligalski M.

autor

Adamski M.

• Instytut Informatyki i Automatyki, Uniwersytet Zielonogórski,

Bibliografia

• [1] Marian Adamski, Małgorzata Chodan: Modelowanie układów sterowania dyskretnego z wykorzystaniem sieci SFC, Zielona G6ra 2000.
• [2] Marian Adamski, Andrei Karatkevich, Marek Węgrzyn (red) Design of embedded control systems, Springer, New York 2005.
• [3] Grzegorz Andrzejewski, Programowy model interpretowanej sieci Petriego dla potrzeb projektowania mikrosystemów cyfrowych, Oficyna Wydawnicza UZ, Zielona Góra 2003.
• [4] Nanette Bauer, Sebastian Engell" "A Comparison of Sequentional Function Charts and Statecharts and an Approach to Integration", INT 2002.
• [5] Grady Booch, James Rumbaugh Ivar Jacobson: UML przewodnik użytkownika, WNT, Warszawa 2000.
• [6] R. David, H. Alla: Petri Nets & Grafcet. Tools for modelling discrete events systems, Prentice Hall, 1992.
• [7] Daniel D. Gajski, Frank Vahid, Sanjiv Narayan, Jie Gong, Specification and Design of Embedded Systems, P T R Prentice Hall, New Jersey 1994.
• [8] David Harel, Rzecz o istocie informatyki Algorytmika, Warszawa 2001.
• [9] International Electrotechnical Commision, Draft IEC 1131-1: Programmable Controllers - Part 3: Programming languages, IEC 1992.
• [10] Grzegorz Łabiak, Wykorzystanie hierarchicznego modelu współbieżnego automatu w projektowaniu sterowników cyfrowych, Oficyna Wydawnicza Uniwersytetu Zielonogórskiego, Zielona Góra 2005.
• [11] Object Management Group, UML 2.0 Superstructure Specification Revised Final Adopted Specification (ptc/04-10-02), www.uml.org
• [12] Agnieszka Węgrzyn, Symboliczna analiza układów sterowania binarnego z wykorzystaniem wybranych metod analizy sieci Petriego, Oficyna Wydawnicza UZ, Zielona Góra 2003.
• [13] Stanisław Wrycza, Bartosz Marcinkowski, Krzysztof Wyrzykowski, Język UML 2.0 w modelowaniu systemów informatycznych, Helion, Gliwice 2005.