Login
- Document type:
- Konferenzbeitrag
- Author(s):
- Witsch, Daniel ; Vogel-Heuser, Birgit
- Title:
- PLC-Statecharts: An Approach to Integrate UML-Statecharts in Open-Loop Control Engineering-Aspects on Behavioral Semantics and Model-Checking
- 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