Transition orthogonality in statechart diagrams and inconsistencies in binary control system

• Autorzy: Łabiak G.

Warianty tytułu

PL

Problem pewnych niespójności między sterownikiem a układem sterowanym w systemie sterowania

• Języki publikacji: EN

Abstrakty

EN

The paper concerns the problem of some inconsistencies between controller and controlled object in control system. These inconsistencies are a result of incorrectly built transition predicates where state of the controller does not conforms state of the controlled object. In the paper two solutions removing this flaw has been presented: with concurrent transition and with local variables.

PL

Referat przedstawia problem pewnych niespójności między sterownikiem a układem sterowanym w systemie sterowania. Opisywane niespójności są wynikiem wadliwie utworzonych predykatów tranzycji w wyniku czego stan sterownika nie jest zgodny ze stanem obiektu sterowanego. W referacie przedstawiono dwa sposoby usunięcia tego rodzaju wad: przy użyciu tranzycji współbieżnej oraz przy użyciu zmiennych lokalnych.

Słowa kluczowe

EN

statechart diagrams; transition conflict; transition orthogonality; binary control system

PL

diagramy statechart; konflikt tranzycji; ortogonalność tranzycji; system sterowania binarnego

• Wydawca: Wydawnictwo SIGMA-NOT
• Czasopismo: Przegląd Elektrotechniczny
• Rocznik: 2010
• Tom: R. 86, nr 9
• Strony: 130--133
• Opis fizyczny: Bibliogr. 6 poz., rys.

Twórcy

autor

Łabiak G.

• University of Zielona Góra, Computer Engineering and Electronics Department., Podgórna 50, 65-246 Zielona Góra,

Bibliografia

• [1] Design of Embedded Control Systems, ed.ed. Adamski M. A., Karatkevich A. and W ęgr zyn M., Springer 2005
• [2] Harel D., Statecharts: A Visual Formalism for Complex Systems, Science of Computer Programming, 8 (1987), pp. 231–274
• [3] UML, Unified Modeling Language Specification. Version 1.4.2, ISO/IEC 19501, 2005
• [4] Harel, D. and Naamad A. The STATEMATE Semantics of Statecharts, ACM Trans. Soft. Eng. Method, 1996
• [5] Łabiak G. Transition conflicts detection in binary modular statecharts diagrams, Proc. of IFAC workshop – PDS’04, Poland 2004, pp. 192-197
• [6] Misiurewicz P., Układy automatyki cyfrowej, WSiP, Warszawa 1987.