Analysis and validation of IEC 61131-3 applications using a MDE approach

Model-centric development is one of the hottest topics discussed in the software engineering field today. Combination of Model Driven Development and Model Driven Architecture can be extremely powerful for supporting the development cycle of the application. The use of these software methodologies within the Industrial Automation field allows meeting the requirement of current automation applications, such as flexibility, reuse, optimization and time and cost reduction. This paper focuses on the validation phase of a previously proposed Model-based Integrated Development Environment for Industrial Process Measurement and Control Systems (IPMCS). In particular, the validation tests for the industrial control system being designed are automatically generated from the application model. The tests are executed by the control co-simulation tool that closes the loop between the control model, running in the PLC environment, and the process model running in a simulation environment.

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

[2]  Rainer Drath,et al.  AutomationML - the glue for seamless automation engineering , 2008, 2008 IEEE International Conference on Emerging Technologies and Factory Automation.

[3]  E. Estevez,et al.  A Methodology for Multidisciplinary Modeling of Industrial Control Systems using UML , 2007, 2007 5th IEEE International Conference on Industrial Informatics.

[4]  Jad El-khoury,et al.  A Model Management and Integration Platform for Mechatronics Product Development , 2006 .

[5]  E. Estevez,et al.  Design and validation of industrial distributed control systems , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[6]  Luciano Baresi,et al.  PLCTools: Graph Transformation Meets PLC Design , 2002, GraBaTs.

[7]  Joaquin Miller,et al.  MDA Guide Version 1.0.1 , 2003 .

[8]  Michael Tiegelkamp,et al.  IEC 61131-3: Programming Industrial Automation Systems , 2001, Springer Berlin Heidelberg.

[9]  Sanford Friedenthal,et al.  OMG Systems Modeling Language (OMG SysML™) Tutorial , 2008 .

[10]  E. Estevez,et al.  A Tool Integration Framework for Industrial Distributed Control Systems , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[11]  Birgit Vogel-Heuser,et al.  Development and Evaluation of a Model for Modular Automation in Plant Manufacturing , 2004 .

[12]  Dario Orive,et al.  Model driven design in industrial automation , 2009, Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference.

[13]  E. Estevez,et al.  XML exchange of control programs , 2009, IEEE Industrial Electronics Magazine.

[14]  Christos Tranoris,et al.  A tool supported engineering process for developing control applications , 2006, Comput. Ind..

[15]  Kleanthis Thramboulidis,et al.  The 3+1 SysML View-Model in Model Integrated Mechatronics , 2010, J. Softw. Eng. Appl..

[16]  Stuart Kent,et al.  Model Driven Engineering , 2002, IFM.

[17]  Peter Fettke,et al.  Model Driven Architecture (MDA) , 2003, Wirtsch..

[18]  Bran Selic,et al.  The Pragmatics of Model-Driven Development , 2003, IEEE Softw..

[19]  Philippe Kruchten,et al.  The 4+1 View Model of Architecture , 1995, IEEE Softw..

[20]  Marga Marcos,et al.  Model-driven design of Industrial Control Systems , 2008, 2008 IEEE International Conference on Computer-Aided Control Systems.

[21]  Rocco Moretti,et al.  Model Driven Architecture (MDA) , 2007 .

[22]  Aniruddha S. Gokhale,et al.  Developing applications using model-driven design environments , 2006, Computer.

[23]  Robert L. Nord,et al.  Software Architecture in Industrial Applications , 1995, 1995 17th International Conference on Software Engineering.

[24]  Kleanthis Thramboulidis,et al.  Model-integrated mechatronics - toward a new paradigm in the development of manufacturing systems , 2005, IEEE Transactions on Industrial Informatics.

[25]  R. W. Lewis,et al.  Programming Industrial Control Systems Using IEC 1131-3 , 1995 .

[26]  Alejandro Alonso,et al.  BUILDING SAFETY-CRITICAL REAL-TIME SYSTEMS WITH REUSABLE CYCLIC EXECUTIVES , 1996 .