PLC-statecharts: An approach to integrate umlstatecharts in open-loop control engineering

This paper defines an adaptation of UML-statecharts which can be used as a visual programming language for PLCs. Those PLC-statecharts combine the advantages of UML-statecharts with a strict formal basis and dedicated features for PLC-programming. Finally an empirical study on PLC-statecharts is briefly presented.

[1]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[2]  Ivar Jacobson,et al.  The unified modeling language reference manual , 2010 .

[3]  Henning Dierks.  Comparing model checking and logical reasoning for real-time systems , 2004, Formal Aspects of Computing.

[4]  Lionel C. Briand,et al.  A Realistic Empirical Evaluation of the Costs and Benefits of UML in Software Maintenance , 2008, IEEE Transactions on Software Engineering.

[5]  A. Srinivasan,et al.  A Modeling Methodology for Empirically Studying User Behavior: The Case of UML Diagram Usage , 2008, EMMSAD.

[6]  Krzysztof Sacha,et al.  Translatable Finite State Time Machine , 2007, SDL Forum.

[7]  Michael von der Beeck.  A structured operational semantics for UML-statecharts , 2002, Software and Systems Modeling.

[8]  Birgit Vogel-Heuser,et al.  Close integration between UML and IEC 61131-3: New possibilities through object-oriented extensions , 2009, 2009 IEEE Conference on Emerging Technologies & Factory Automation.

[9]  Georg Frey,et al.  Design and formal analysis of Petri net based logic control algorithms = Entwurf und formale Analyse Petrinetz-basierter Steuerungsalgorithmen , 2002 .

[10]  Wang Yi,et al.  Timed Automata: Semantics, Algorithms and Tools , 2003, Lectures on Concurrency and Petri Nets.

[11]  Henning Dierks,et al.  Specification and verification of polling real time systems , 1999, Ausgezeichnete Informatikdissertationen.

[12]  Wang Yi,et al.  Timed vs. Time-Triggered Automata , 2004, CONCUR.

[13]  Nancy A. Lynch,et al.  The Theory of Timed I/o Automata , 2003 .