Benutzer: Gast  Login
Titel:

PLC-Statecharts: An Approach to Integrate UML-Statecharts in Open-Loop Control Engineering-Aspects on Behavioral Semantics and Model-Checking

Dokumenttyp:
Konferenzbeitrag
Autor(en):
Witsch, Daniel ; Vogel-Heuser, Birgit
Abstract:
This paper presents the core concepts for PLC-statecharts - an adaptation of UML-statecharts -which can be used as a visual programming language for PLCs. They combine the advantages of UML-statecharts with a strict formal basis and can be transparently used in the context of IEC 61131-3 (3rd Edition). The defined formal behavioral semantics sets the basis for an automatic transformation of PLC-statecharts into timed automata which can be analyzed by the model-checker UPPAAL.
Kongress- / Buchtitel:
18th World Congress of International Federation of Automation Control (IFAC)
Verlagsort:
Mailand, Italien
Jahr:
2011
Seiten:
7866-7872
Volltext / DOI:
doi:10.3182/20110828-6-IT-1002.02207
WWW:
http://www.nt.ntnu.no/users/skoge/prost/proceedings/ifac11-proceedings/data/html/papers/2207.pdf
 BibTeX