Model-driven engineering of process control software – beyond device-centric abstractions

Abstract This paper presents a new, two-level, model-driven engineering approach to industrial process control software. The first level (infrastructure engineering) is concerned with the following: the definition of the development process and guidelines, the definition of a domain-specific modeling language, the specification of the model transformations, and the development of a tool suite. This tool suite enables modeling of the process control software and the automatic code generation for programmable logic controllers. In the second level (application engineering), the process control software is engineered using the results of the infrastructure level. The approach is demonstrated on excerpts from an industrial project.

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

[2]  Thomas I. Strasser,et al.  Multi-domain model-driven design of Industrial Automation and Control Systems , 2008, 2008 IEEE International Conference on Emerging Technologies and Factory Automation.

[3]  Lothar Litz,et al.  Formal methods in PLC programming , 2000, Smc 2000 conference proceedings. 2000 ieee international conference on systems, man and cybernetics. 'cybernetics evolving to systems, humans, organizations, and their complex interactions' (cat. no.0.

[4]  Giovanni Godena.  ProcGraph: a procedure-oriented graphical notation for process-control software specification , 2004 .

[5]  Miguel A. Fernández,et al.  Experiences of Developing a Network Modeling Tool Using the Eclipse Environment , 2009, ECMDA-FA.

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

[7]  Gabor Karsai,et al.  Challenges and directions in formalizing the semantics of modeling languages , 2011, Comput. Sci. Inf. Syst..

[8]  Kleanthis Thramboulidis.  IEC 61499 in Factory Automation , 2007 .

[9]  Shane Sendall,et al.  Model Transformation: The Heart and Soul of Model-Driven Software Development , 2003, IEEE Softw..

[10]  Richard F. Paige,et al.  Model transformation specification for automated formal verification , 2011, 2011 Malaysian Conference in Software Engineering.

[11]  Georg Frey,et al.  Combination of UML Modeling and the IEC 61499 Function Block Concept for the Development of Distributed Automation Systems , 2006, 2006 IEEE Conference on Emerging Technologies and Factory Automation.

[12]  Edward Yourdon,et al.  Structured design : fundamentals of a discip!ine of computer proqram and system desiqn , 1979 .

[13]  Douglas C. Schmidt,et al.  Guest Editor's Introduction: Model-Driven Engineering , 2006, Computer.

[14]  Gabor Karsai,et al.  Smart Dust: communicating with a cubic-millimeter computer , 2001 .

[15]  K.C. Thramboulidis,et al.  Using UML in control and automation: a model driven approach , 2004, 2nd IEEE International Conference on Industrial Informatics, 2004. INDIN '04. 2004.

[16]  Mathias Maurmaier.  Leveraging model-driven development for automation systems development , 2008, 2008 IEEE International Conference on Emerging Technologies and Factory Automation.

[17]  Birgit Vogel-Heuser,et al.  UML-PA as an engineering model for distributed process automation , 2005 .

[18]  Jeffrey G. Gray,et al.  Model-driven engineering of industrial process control applications , 2010, 2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010).

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

[20]  Robert Lewis.  Modelling Control Systems Using Iec 61499: Applying Function Blocks to Distributed Systems , 2001 .

[21]  Aniruddha S. Gokhale,et al.  Domain-Specific Modeling , 2008, Handbook of Dynamic System Modeling.

[22]  Bran Selic.  The Less Well Known UML - A Short User Guide , 2012, SFM.

[23]  Diomidis Spinellis,et al.  Guest Editors' Introduction: What Kinds of Nails Need a Domain-Specific Hammer? , 2009, IEEE Software.

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

[25]  George J. Vachtsevanos,et al.  Software technology for implementing reusable, distributed control systems , 2003 .

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

[27]  Bran Selic,et al.  FacadeMetamodel: masking UML , 2012, MODELS'12.

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

[29]  Richard C. Gronback.  Eclipse Modeling Project: A Domain-Specific Language Toolkit , 2009 .

[30]  B. Vogel-Heuser,et al.  Benefit of system modeling in automation and control education , 2007, 2007 American Control Conference.

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

[32]  Parastoo Mohagheghi,et al.  Where Is the Proof? - A Review of Experiences from Applying MDE in Industry , 2008, ECMDA-FA.

[33]  Giovanni Godena,et al.  Domain specific model-based development of software for programmable logic controllers , 2010, Comput. Ind..

[34]  Kevin Lano,et al.  Slicing of UML models using model transformations , 2010, MODELS'10.

[35]  Daniel Hagimont,et al.  A High Level Approach for Generating Model's Graphical Editors , 2011, 2011 Eighth International Conference on Information Technology: New Generations.

[36]  F. Plasil,et al.  The Power of MOF-Based Meta-modeling of Components , 2008, 2008 Advanced Software Engineering and Its Applications.

[37]  Kleanthis Thramboulidis.  The function block model in embedded control and automation from IEC61131 to IEC61499 , 2009 .

[38]  Birgit Vogel-Heuser,et al.  Evaluation of an UML Software Engineering Tool by Means of a Distributed Real Time Application in Process Automation , 2004, Modellierung.

[39]  Horst Lichter,et al.  Model Driven Development Challenges in the Automation Domain , 2008, 2008 32nd Annual IEEE International Computer Software and Applications Conference.

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

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

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