User: Guest  Login
Title:

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

Document type:
Konferenzbeitrag
Author(s):
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.
Book / Congress title:
18th World Congress of International Federation of Automation Control (IFAC)
Publisher address:
Mailand, Italien
Year:
2011
Pages:
7866-7872
Fulltext / 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