An MDD process for IEC 61131-based industrial automation systems

Model Driven Development (MDD) has been proved as a quite successful paradigm in general-purpose computing and is currently exploited in the embedded systems domain. On the other hand, the majority of industrial automation systems is developed based on the IEC 61131 standard. This standard defines a model and a set of programming languages for the development of industrial automation software and it is supported by the majority of the commercial tools in this domain. This work proposes an MDD process to increase the productivity and reliability of the development process of industrial automation systems. Piping and instrumentation diagrams are considered as source of requirements for process control engineering and SysML is used to reduce the gap between these diagrams and the 61131 based design specs of the control system. The foundation for a SysML profile to facilitate the exploitation of SysML in this domain is described. This profile will allow the developer to work in higher layers of abstraction than the one supported by IEC 61131 and effectively move from requirement specifications into the implementation model of the system.

[1]  Frank Golatowski,et al.  SIRENA - Service Infrastructure for Real-time Embedded Networked Devices: A service oriented framework for different domains , 2006, International Conference on Networking, International Conference on Systems and International Conference on Mobile Communications and Learning Technologies (ICNICONSMCL'06).

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

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

[5]  Georg Frey,et al.  Towards a Model-Driven IEC 61131-Based Development Process in Industrial Automation , 2011, J. Softw. Eng. Appl..

[6]  T. Ritala,et al.  UML Automation Profile: Enhancing the Efficiency of Software Development in the Automation Industry , 2007, 2007 5th IEEE International Conference on Industrial Informatics.

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

[8]  Krzysztof Sacha.  Verification and Implementation of Dependable Controllers , 2008, 2008 Third International Conference on Dependability of Computer Systems DepCoS-RELCOMEX.

[9]  G.S. Doukas,et al.  A real-time Linux execution environment for function-block based distributed control applications , 2005, INDIN '05. 2005 3rd IEEE International Conference on Industrial Informatics, 2005..

[10]  Birgit Vogel-Heuser,et al.  Combining UML with IEC 61131-3 languages to preserve the usability of graphical notations in the software development of complex automation systems , 2007, IFAC HMS.

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

[12]  D. N. Ramos-Hernandez,et al.  A novel object-oriented environment for distributed process control systems , 2005 .

[13]  Kleanthis Thramboulidis,et al.  A Real-Time-Linux-Based Framework for Model-Driven Engineering in Control and Automation , 2011, IEEE Transactions on Industrial Electronics.

[14]  Thomas A. Henzinger,et al.  From control models to real-time code using Giotto , 2003 .

[15]  Michael Winter,et al.  Components for embedded software: the PECOS approach , 2002, CASES '02.

[16]  Per Lindgren,et al.  Enabling Component-Based Design for Embedded Real-Time Software , 2009, J. Comput..

[17]  Kleanthis Thramboulidis,et al.  Different perspectives [Face to Face; "IEC 61499 function block model: Facts and fallacies" ] , 2009 .

[18]  A. Fay,et al.  Computer-aided design and implementation of interlock control code , 2006, 2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control.

[19]  Bran Selic,et al.  Challenges in Combining SysML and MARTE for Model-Based Design of Embedded Systems , 2009, ECMDA-FA.