Login
- Dokumenttyp:
- Konferenzbeitrag
- Autor(en):
- Witsch, Daniel ; Vogel-Heuser, Birgit
- Titel:
- 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.
- 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