A model-based failure recovery approach for automated production systems combining SysML and industrial standards

This work presents a failure recovery approach for foreseen failures of automated production systems to minimize the downtime of a system due to stoppages. In contrast to the common practice of implementing field control software, we suggest the use of operation states with pre- and postconditions. A set of operation states forms an operation state machine, whereby several operation state machines are used in a hierarchical manner in order to control and observe the process. The meta-model of the Systems Modeling Language (SysML) is extended to combine operation state machines with OMAC State Machines. By dividing the failure detection from the process controller the necessary flexibility is given to adapt this approach to different packaging machines.

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

[2]  Jay Lee,et al.  A Cyber-Physical Systems architecture for Industry 4.0-based manufacturing systems , 2015 .

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

[4]  Birgit Vogel-Heuser,et al.  Automatic generation of field control strategies for supporting (re-)engineering of manufacturing systems , 2012, J. Intell. Manuf..

[5]  Birgit Vogel-Heuser,et al.  Reconfiguration architecture for updates of automation systems during operation , 2015, 2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA).

[6]  Nils H. Hagge,et al.  Implementation alternatives for the OMAC state machines using IEC 61499 , 2008, 2008 IEEE International Conference on Emerging Technologies and Factory Automation.

[7]  Birgit Vogel-Heuser,et al.  Evolution in industrial plant automation: A case study , 2013, IECON 2013 - 39th Annual Conference of the IEEE Industrial Electronics Society.

[8]  János Nacsa.  Comparison of Three Different Open Architecture Controllers , 2001 .

[9]  Bengt Lennartson,et al.  Restarting Manufacturing Systems; Restart States and Restartability , 2010, IEEE Transactions on Automation Science and Engineering.

[10]  Joseph R. Cavallaro,et al.  A dynamic fault tolerance framework for remote robots , 1995, IEEE Trans. Robotics Autom..

[11]  Martin Fabian,et al.  Calculating Restart States for Systems Modeled by Operations Using Supervisory Control Theory , 2013 .

[12]  Birgit Vogel-Heuser,et al.  On Modelling the State-Space of Manufacturing Systems Using UML , 2012 .

[13]  Kimon P. Valavanis,et al.  Error specification, monitoring and recovery in computer-integrated manufacturing: an analytic approach , 1996 .

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

[15]  Sebastian Ulewicz,et al.  Fault Handling in PLC-Based Industry 4.0 Automated Production Systems as a Basis for Restart and Self-Configuration and Its Evaluation , 2016 .

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

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

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

[19]  Malte Brettel,et al.  How Virtualization, Decentralization and Network Building Change the Manufacturing Landscape: An Industry 4.0 Perspective , 2014 .

[20]  Jing Huang,et al.  A Framework for Fault-Tolerant Control of Discrete Event Systems , 2008, IEEE Transactions on Automatic Control.

[21]  Martin Fabian,et al.  Calculating restart states using reset transitions , 2014, 2014 IEEE International Conference on Robotics and Automation (ICRA).

[22]  Cesare Fantuzzi,et al.  A PackML-based Design Pattern for Modular PLC Code , 2015 .

[23]  P. Berruet,et al.  Models and Algorithms for Failure Diagnosis and Recovery in FMSs , 2003 .

[24]  Rolf Isermann,et al.  Supervision, fault-detection and fault-diagnosis methods — An introduction , 1997 .

[25]  Elisabet Estevez,et al.  A Model-based Approach for Achieving Available Automation Systems , 2014 .

[26]  Toly Chen,et al.  A fuzzy set approach for event tree analysis , 2001, Fuzzy Sets Syst..

[27]  Cem M. Baydar,et al.  Off-line error prediction, diagnosis and recovery using virtual assembly systems , 2001, Proceedings 2001 ICRA. IEEE International Conference on Robotics and Automation (Cat. No.01CH37164).

[28]  Nicholas G. Odrey,et al.  An augmented Petri Net approach for error recovery in manufacturing systems control , 2005 .

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

[30]  Kaspar Althoefer,et al.  Automated failure classification for assembly with self-tapping threaded fastenings using artificial neural networks , 2008 .

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

[32]  B. Werner,et al.  Object-oriented extensions for iec 61131-3 , 2009, IEEE Industrial Electronics Magazine.