A Methodological Approach to Model-Driven Design and Development of Automation Systems

The growing complexity of industrial automation demands the adoption of software engineering principles for improving the development process of control systems. This paper presents a methodological approach to the design and development of complex automation systems relying on model-driven engineering (MDE). A benefit of this approach is the integration of methods and techniques widespread within the automation discipline with modern MDE techniques guiding the designer through the development phases. A second advantage is to add flexibility enough to adapt the steps to the needs of the system under design. Finally, the architecture presented is prepared to be adapted to methodology extensions to cover other aspects of automation systems. The framework is based on domain models that are defined through the development phases using the terminology of the automation field. Using model transformations both documentation about system analysis and design and the skeleton of software units are automatically generated. A proof-of-concept tool has been developed that has been tested on the design of medium-complexity projects to assess the impact of its use with respect to project documentation and maintenance.Note to Practitioners—Control software development can be considered one of the challenges in automation field for achieving leadership in the future economic market. This work presents a model-driven engineering-based approach making use of both automation and software engineering methods and techniques for developing automation control systems. The framework implements the methodology for industrial automation systems ( ${\rm MeiA}_{\bullet }$ ) for guiding developers through the development phases and generates the analysis and design documentation using domain terminology, the design documentation that involves the minimal units of design, and the program organization units in one-to-one correspondence with the minimal units of design. From a practical point of view, it should be highly emphasized that developers of automation projects benefit from more structured designs, reduced number of errors, and improved project documentation.

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

[2]  Elisabet Estevez,et al.  Arquitectura multi-controlador con transferencia sin salto para procesos con conmutación de modos , 2013 .

[3]  Birgit Vogel-Heuser,et al.  Enhancing a model-based engineering approach for distributed manufacturing automation systems with characteristics and design patterns , 2015, J. Syst. Softw..

[4]  Birgit Vogel-Heuser,et al.  Challenges for Software Engineering in Automation , 2014 .

[5]  Maria Luz Alvarez,et al.  Training proposal based on MeiA to face automation challenges , 2014 .

[6]  Alpana Dubey,et al.  Applying software engineering practices for development of industrial automation applications , 2013, 2013 11th IEEE International Conference on Industrial Informatics (INDIN).

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

[8]  José Machado,et al.  A systematized approach to obtain dependable controllers specifications , 2010 .

[9]  Víctor M. González Suárez,et al.  Mlav: the object-oriented methodology of the virtual automation lab , 2004, IEEE International Conference on Robotics and Automation, 2004. Proceedings. ICRA '04. 2004.

[10]  Elisabet Estevez,et al.  Automatic transformation of logic models within engineering of embedded mechatronical units , 2011 .

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

[12]  Birgit Vogel-Heuser,et al.  Evolution of software in automated production systems: Challenges and research directions , 2015, J. Syst. Softw..

[13]  Alexander Fay,et al.  Tool support for an automatic transformation of GRAFCET specifications into IEC 61131-3 control code , 2013, 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA).

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

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

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

[17]  A. Zoitl,et al.  System Requirements in Industrial Automation - A Review of Modeling Methodologies for Control Software Architectures , 2013 .

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

[19]  Mohammed Misbhauddin,et al.  Extending the UML use case metamodel with behavioral information to facilitate model analysis and interchange , 2013, Software & Systems Modeling.

[20]  Alpana Dubey Evaluating software engineering methods in the context of automation applications , 2011, 2011 9th IEEE International Conference on Industrial Informatics.

[21]  Krzysztof Czarnecki,et al.  Feature-based survey of model transformation approaches , 2006, IBM Syst. J..

[22]  Valentino Vranic,et al.  A Configurable UML Based Use Case Modeling Metamodel , 2009, 2009 First IEEE Eastern European Conference on the Engineering of Computer Based Systems.

[23]  R. Vilanova,et al.  INTRODUCTION OF THE HUMAN OPERATOR INTO THE AUTOMATION CYCLE WITH THE GEMMA GUIDE , 2006 .

[24]  Bengt Lennartson,et al.  Flexible Specification of Operation Behavior Using Multiple Projections , 2014, IEEE Transactions on Automation Science and Engineering.

[25]  Ramon Vilanova,et al.  GEMMA GUIDE APPROACH FOR THE INTRODUCTION OF THE HUMAN OPERATOR INTO THE AUTOMATION CYCLE , 2006 .

[26]  Elisabet Estevez,et al.  On the use of model-based techniques for achieving multi-mode control architectures , 2014 .

[27]  Nikolaos Papakonstantinou,et al.  Object oriented extensions of IEC 61131–3 as an enabling technology of software product lines , 2011, ETFA2011.

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

[29]  Ivar Jacobson,et al.  Object-oriented software engineering - a use case driven approach , 1993, TOOLS.

[30]  Georg Frey,et al.  OPERATION MODES HANDLING IN DISTRIBUTED AUTOMATION SYSTEMS , 2007 .

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

[32]  Stéphane S. Somé A Meta-Model for Textual Use Case Description , 2009, J. Object Technol..

[33]  Birgit Vogel-Heuser Usability experiments to evaluate UML/SysML-based Model driven Software Engineering Notations for logic control in Manufacturing Automation , 2014 .

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

[35]  Cesare Fantuzzi,et al.  A model-based design methodology for the development of mechatronic systems , 2014 .

[36]  Alexander Fay,et al.  Formal representation of GRAFCET to automatically generate control code , 2014 .

[37]  จุฑามาศ สรุปราษฎร์,et al.  How to Create and Use Rubrics for Formative Assessment and Grading , 2014 .

[38]  Francesco Basile,et al.  On the Implementation of Industrial Automation Systems Based on PLC , 2013, IEEE Transactions on Automation Science and Engineering.

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

[40]  Horst Lichter,et al.  Towards the Integration of UML- and textual Use Case Modeling , 2009, J. Object Technol..

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

[42]  Philippe Dugerdil,et al.  Use-case and scenario metamodeling for automated processing in a reverse engineering tool , 2011, ISEC.

[43]  Birgit Vogel-Heuser,et al.  Model-driven Engineering of Manufacturing Automation Software Projects - A SysML-based Approach , 2014, ArXiv.