MDE of manufacturing automation software — Integrating SysML and standard development tools

In the paper, a SysML-based approach that supports the model-driven engineering (MDE) of manufacturing automation software is presented. The approach adapts the Systems Modeling Language (SysML) and defines a specialized language profile, the SysML-AT, to support automated code generation for IEC 61131-3 runtime environments. For adapted SysML Parametric Diagrams (PD), a prototypical tool support was realized inside a commonly used automation software development environment. Inside the prototypical tool, the linking between the realized PD model editor and online data from the IEC 61131-3 runtime environment enables direct debugging within a SysML-AT model. The concept was evaluated by case studies and by usability experiments, which proved the usability of the SysML-based MDE approach for future users.

[1]  Elisabet Estévez-Estévez,et al.  PLCopen for achieving interoperability between development phases , 2010, 2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010).

[2]  M. Hirsch,et al.  Design and verification of distributed industrial manufacturing control systems , 2008, 2008 34th Annual Conference of IEEE Industrial Electronics.

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

[4]  Elisabet Estévez-Estévez,et al.  Model-Based Validation of Industrial Control Systems , 2012, IEEE Transactions on Industrial Informatics.

[5]  Sebastian Ulewicz,et al.  Automatic Rule-Based Inference of Control Software Capabilities Considering Interdisciplinary Aspects , 2013 .

[6]  V. Vyatkin.  The IEC 61499 standard and its semantics , 2009, IEEE Industrial Electronics Magazine.

[7]  Valeriy Vyatkin,et al.  Closed-Loop Modeling in Future Automation System Engineering and Validation , 2009, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[8]  Thomas Pfeiffer,et al.  Engineering of Validatable Automation Systems Based on an Extension of UML Combined With Function Blocks of IEC 61499 , 2005, Proceedings of the 2005 IEEE International Conference on Robotics and Automation.

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

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

[11]  Duncan McFarlane,et al.  Developments in holonic production planning and control , 2000 .

[12]  Dario Orive,et al.  Graphical Modeling of PLC-based Industrial Control Applications , 2007, 2007 American Control Conference.

[13]  Robin Chhabra,et al.  Holistic system modeling in mechatronics , 2011 .

[14]  Marco Colla.  Tools Integration through a Central Model and Automatic Generation of Multi-Platform Control Code , 2011 .

[15]  C. Sunder,et al.  Model-driven embedded systems design environment for the industrial automation sector , 2008, 2008 6th IEEE International Conference on Industrial Informatics.

[16]  Valeriy Vyatkin.  IEC 61499 as Enabler of Distributed and Intelligent Automation: State-of-the-Art Review , 2011, IEEE Transactions on Industrial Informatics.

[17]  Seppo Kuikka,et al.  Assessing the industrial applicability and adoption potential of the AUKOTON model driven control application engineering approach , 2010, 2010 8th IEEE International Conference on Industrial Informatics.

[18]  Valeriy Vyatkin,et al.  Formal Verification of Downtimeless System Evolution in Embedded Automation Controllers , 2013, TECS.

[19]  Giuseppe Bianchi,et al.  QUASIMODO: quality of service-aware multicasting over DiffServ and overlay networks , 2003, IEEE Netw..

[20]  Thilo Sauter,et al.  Distributed automation: PABADIS versus HMS , 2005, IEEE Transactions on Industrial Informatics.

[21]  Birgit Vogel-Heuser,et al.  SysML-Based Approach for Automation Software Development - Explorative Usability Evaluation of the Provided Notation , 2013, HCI.

[22]  Bernhard Rumpe,et al.  Why it is so hard to use models in software development: observations , 2013, Software & Systems Modeling.

[23]  Marcello Bonfe,et al.  Design patterns for model-based automation software design and implementation , 2013 .

[24]  Ken Goldberg,et al.  Editorial: A Secret to Advancing Research and Increasing Citations to Your Papers , 2012 .

[25]  Kleanthis Thramboulidis.  IEC 61499 as an Enabler of Distributed and Intelligent Automation: A State-of-the-Art Review—A Different View , 2013 .

[26]  Birgit Vogel-Heuser,et al.  Automated PLC Software Testing using adapted UML Sequence Diagrams , 2012 .

[27]  M. Bonfe,et al.  A SysML-Based Methodology for Manufacturing Machinery Modeling and Design , 2011, IEEE/ASME Transactions on Mechatronics.

[28]  Birgit Vogel-Heuser,et al.  Evaluation of a UML-Based Versus an IEC 61131-3-Based Software Engineering Approach for Teaching PLC Programming , 2013, IEEE Transactions on Education.

[29]  Thomas Pfeiffer,et al.  Rapid engineering and re-configuration of automation objects aided by formal modelling and verification , 2006, Int. J. Manuf. Res..

[30]  Valeriy Vyatkin,et al.  Transformation of Simulink models to IEC 61499 Function Blocks for verification of distributed control systems , 2012 .

[31]  Marcello Bonfè,et al.  On the Use of UML for Modeling Mechatronic Systems , 2007, IEEE Transactions on Automation Science and Engineering.

[32]  Birgit Vogel-Heuser,et al.  PLC-Statecharts: An Approach to Integrate UML-Statecharts in Open-Loop Control Engineering – Aspects on Behavioral Semantics and Model-Checking , 2011 .

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