Agile and hierarchical round-trip engineering of IEC 61131-3 control software

Abstract The control software often performs complex, important, and responsible operations in industrial manufacturing systems. The size and complexity of such software are still increasing, thus it is important to provide engineers with methods and tools that simplify the development process. The situation can be improved by modeling using the Model-Driven Development (MDD) approach, standardized implementation process, as well as various testing methods. In the paper, the authors propose the further step, which consists of the comprehensive agile hierarchical round-trip engineering approach dedicated to the IEC 61131-3 control software. It divides the project into four connected parts – model, configuration, implementation, and tests. Such a solution allows developers to work independently and iteratively on various project parts, because changes are discovered automatically and are propagated to suitable views inside the project. The synchronization mechanism has been introduced into the CPDev engineering environment for programming industrial controllers.

[1]  Hanspeter Mössenböck,et al.  A Comprehensive Solution for Deterministic Replay Debugging of SoftPLC Applications , 2011, IEEE Transactions on Industrial Informatics.

[2]  Wolfgang De Meuter,et al.  SelfSync: a dynamic round-trip engineering environment , 2005, OOPSLA '05.

[3]  Dongxi Liu,et al.  Towards automatic model synchronization from model transformations , 2007, ASE.

[4]  Birgit Vogel-Heuser,et al.  A Light-Weight Fault Injection Approach to Test Automated Production System PLC Software in Industrial Practice , 2017 .

[5]  Gustavo Rau de Almeida Callou,et al.  Model-driven software synthesis for hard real-time applications with energy constraints , 2010, Des. Autom. Embed. Syst..

[6]  Mourad Debbabi,et al.  Systems Modeling Language , 2010 .

[7]  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).

[8]  Uwe Aßmann.  Automatic Roundtrip Engineering , 2003, Electron. Notes Theor. Comput. Sci..

[9]  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.

[10]  Marcin Jamro,et al.  Communication Performance Tests in Distributed Control Systems , 2013, CN.

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

[12]  A. Zoitl,et al.  Agile testing concepts based on keyword-driven testing for industrial automation systems , 2012, IECON 2012 - 38th Annual Conference on IEEE Industrial Electronics Society.

[13]  Antonio Cicchetti,et al.  Towards Propagation of Changes by Model Approximations , 2006, 2006 10th IEEE International Enterprise Distributed Object Computing Conference Workshops (EDOCW'06).

[14]  Sheng-Jen Hsieh,et al.  Algorithm and intelligent tutoring system design for programmable controller programming , 2013, The International Journal of Advanced Manufacturing Technology.

[15]  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).

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

[17]  Marcin Jamro.  POU-Oriented Unit Testing of IEC 61131-3 Control Software , 2015, IEEE Transactions on Industrial Informatics.

[18]  Stefan Biffl,et al.  A framework for automated testing of automation systems , 2010, 2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010).

[19]  Christoph W. Kessler,et al.  A Formal Framework for Automated Round-Trip Software Engineering in Static Aspect Weaving and Transformations , 2007, 29th International Conference on Software Engineering (ICSE'07).

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

[21]  Marcin Jamro,et al.  Testing communication tasks in distributed control systems with SysML and Timed Colored Petri Nets model , 2015, Comput. Ind..

[22]  Michael Lawley,et al.  Model Synchronisation: Definitions for Round-Trip Engineering , 2008, ICMT@TOOLS.

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

[24]  Wim Dehaene,et al.  UML for electronic systems design: a comprehensive overview , 2008, Des. Autom. Embed. Syst..

[25]  Rick Kazman,et al.  Modeling and visualizing object-oriented programs with Codecharts , 2013, Formal Methods Syst. Des..

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

[27]  Hasan Sözer,et al.  Composing domain-specific physical models with general-purpose software modules in embedded control software , 2014, Software & Systems Modeling.

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

[29]  Michael Lawley,et al.  Towards Model Round-Trip Engineering: An Abductive Approach , 2009, ICMT@TOOLS.

[30]  Kleanthis Thramboulidis,et al.  UML4IoT - A UML-based approach to exploit IoT in cyber-physical manufacturing systems , 2016, Comput. Ind..

[31]  Karl-Heinz John,et al.  The Programming Languages of IEC 61131-3 , 2010 .

[32]  Stefano Campanelli,et al.  An architecture to integrate IEC 61131-3 systems in an IEC 61499 distributed solution , 2015, Comput. Ind..

[33]  Michal Antkiewicz,et al.  Framework-Specific modeling languages with round-trip engineering , 2006, MoDELS'06.

[34]  Marcin Jamro,et al.  IEC 61131-3 programmable human machine interfaces for control devices , 2013, 2013 6th International Conference on Human System Interactions (HSI).

[35]  M. Marcos,et al.  A novel approach for supporting the development cycle of automation systems , 2013 .

[36]  Federico Ciccozzi,et al.  Towards a Round-Trip Support for Model-Driven Engineering of Embedded Systems , 2011, 2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications.

[37]  Rick Kazman,et al.  Round-trip engineering with the Two-Tier Programming Toolkit , 2017, Software Quality Journal.

[38]  Paulo Romero Martins Maciel,et al.  A time Petri net-based method for embedded hard real-time software synthesis , 2008, Des. Autom. Embed. Syst..

[39]  Holger Giese,et al.  Incremental model synchronization with triple graph grammars , 2006, MoDELS'06.

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

[41]  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.

[42]  Kleanthis Thramboulidis,et al.  A cyber-physical system-based approach for industrial automation systems , 2014, Comput. Ind..

[43]  Ghulam Rasool,et al.  Integrated Reverse Engineering Process Model , 2008, SCSS.