Automatic generation of implementation in SysML-based model-driven development for IEC 61131-3 control software

Control software is commonly used in various branches of industry. Its still increasing size and complexity indicates that it is crucial to propose various development processes that could make the work easier and faster. In this paper, the Model-Driven Development approach is presented, together with the mechanism of automatic generation of implementation, dedicated to projects created according to the IEC 61131-3 standard. The modeling phase uses the SysML graphical modeling language. The prepared model is analyzed by the dedicated mechanism, which creates the ordered list of operations that should be performed in the implementation. After their sequential execution, engineers receive the implementation part with automatically generated elements. This paper covers topics of generating templates for Program Organization Units, as well as complete implementation for ones that are based on state machines. To make understanding of the presented approach easier, the paper uses the simple running example. The expanded version of the mechanism of automatic implementation generation has been introduced into the CPDev engineering environment for programming various industrial controllers.

[1]  Bartosz Marcinkowski,et al.  SysML Parametric Diagrams in Business Applications , 2010, ISD.

[2]  Marcin Jamro Development and Execution of POU-Oriented Performance Tests for IEC 61131-3 Control Software , 2014, Recent Advances in Automation, Robotics and Measuring Techniques.

[3]  Devinder Thapa,et al.  Auto-generation of IEC standard PLC code using t-MPSG , 2009 .

[4]  Marcin Jamro,et al.  An approach to SysML modeling of IEC 61131-3 control software , 2013, 2013 18th International Conference on Methods & Models in Automation & Robotics (MMAR).

[5]  Birgit Vogel-Heuser,et al.  Automated test case generation approach for PLC control software exception handling using fault injection , 2011, IECON 2011 - 37th Annual Conference of the IEEE Industrial Electronics Society.

[6]  David Hästbacka,et al.  Model-driven development of industrial process control applications , 2011, J. Syst. Softw..

[7]  Marcin Jamro,et al.  Testing Procedure for IEC 61131-3 Control Software , 2013, PDeS.

[8]  Samir Chouali,et al.  Formal verification of components assembly based on SysML and interface automata , 2011, Innovations in Systems and Software Engineering.

[9]  Marcin Jamro,et al.  Measuring, Monitoring, and Analysis of Communication Transactions Performance in Distributed Control System , 2014, CN.

[10]  A. Zoitl,et al.  Re-use of IEC 61131-3 Structured Text for IEC 61499 , 2012, 2012 IEEE International Conference on Industrial Technology.

[11]  Michael F. Zäh,et al.  Model-driven development of PLC software for machine tools , 2008, Prod. Eng..

[12]  Tullio Vardanega,et al.  An MDE methodology for the development of high-integrity real-time systems , 2009, 2009 Design, Automation & Test in Europe Conference & Exhibition.

[13]  Mario Semo,et al.  Design and implementation of industrial automation control systems: A survey , 2009, 2009 7th IEEE International Conference on Industrial Informatics.

[14]  Valeriy Vyatkin,et al.  Engineering in Industrial Automation : State of the Art Review , 2013 .

[15]  K. Kouiss,et al.  Design of IEC 61131-3 function blocks using SysML , 2007, 2007 Mediterranean Conference on Control & Automation.

[16]  B. Vogel-Heuser,et al.  Automatic code generation from a UML model to IEC 61131-3 and system configuration tools , 2005, 2005 International Conference on Control and Automation.

[17]  Marcin Jamro,et al.  Automatic connections in IEC 61131-3 Function Block Diagrams , 2013, 2013 Federated Conference on Computer Science and Information Systems.

[18]  Stefan Biffl,et al.  Automation component aspects for efficient unit testing , 2009, 2009 IEEE Conference on Emerging Technologies & Factory Automation.

[19]  Hassan Charaf,et al.  A Synchronizing Technique for Syntactic Model-Code Round-Trip Engineering , 2008, 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ecbs 2008).

[20]  A. Zoitl,et al.  IEC 61131-3 model for model-driven development , 2012, IECON 2012 - 38th Annual Conference on IEEE Industrial Electronics Society.

[21]  Marcin Jamro,et al.  CPDev Engineering Environment for Modeling, Implementation, Testing, and Visualization of Control Software , 2014, Recent Advances in Automation, Robotics and Measuring Techniques.

[22]  Marga Marcos,et al.  Automatic generation of PLC automation projects from component-based models , 2007 .

[23]  Kleanthis Thramboulidis,et al.  Model driven development of distributed control applications , 2007 .