Automated Determining of Manufacturing Properties and Their Evolutionary Changes from Event Traces

Production plants are usually kept in operation for several decades. During this long operational phase operation requirements and other production conditions change frequently. Accordingly, the plants have to be adjusted in behavior and/or structure by adapting software and physics of the plant to avoid degeneration. Unfortunately, in industrial practice, changes, especially smaller ones, are often performed ad-hoc without appropriate adaptation of formal models or documentation. As a consequence, knowledge about the process is only implicitly available and an evaluation of performed changes is often omitted, resulting in sub-optimal production performance. Present research approaches to overcome these deficiencies usually concentrate on (a) manual modelling with manual or automatic analysis on a high level of abstraction; or (b) on automatic model generation from observations without lifting gathered knowledge to easy interpretable indicators. The approach presented in this paper combines both methods (a) and (b) by learning models from observation of input / output signals of the production plant’s control system. Semantics are added by using a priori information modelling which is less tedious compared to modelling the process itself. The learned models are used to automatically detect changes by continuously comparing their behavior with real plant behavior during operation as well as to evaluate performed changes. An analysis of the models results in high-level property values such as key performance indicators or flexibility measures of the production system.

[1]  George Chryssolouris,et al.  Manufacturing Systems: Theory and Practice , 1992 .

[2]  Birgit Vogel-Heuser,et al.  Requirements on Evolution Management of Product Lines in Automation Engineering , 2012 .

[3]  Jean-Jacques Lesage,et al.  Black-box identification of discrete event systems with optimal partitioning of concurrent subsystems , 2010, Proceedings of the 2010 American Control Conference.

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

[5]  Karsten Lemmer,et al.  Inverse Model Based Testing -- Generating Behavior Models from Abstract Test Cases , 2011, 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops.

[6]  Suresh P. Sethi,et al.  Flexibility in manufacturing: A survey , 1990 .

[7]  Winfried Lamersdorf,et al.  Learning Behaviour Models of Discrete Event Production Systems from Observing Input/Output Signals , 2015 .

[8]  Rance Cleaveland,et al.  Automatic Requirement Extraction from Test Cases , 2010, RV.

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

[10]  Frank Allgöwer Methoden und Grundlagen der Automatisierungstechnik in der GMA-Arbeit (Methods and Foundations of Automation Technology: A Report about the Activities within the VDI/VDE Society for Measurement and Automatic Control (GMA)) , 2005, Autom..

[11]  M. I. M. Wahab Measuring machine and product mix flexibilities of a manufacturing system , 2005 .

[12]  Birgit Vogel-Heuser,et al.  Formal Technical Process Specification and Verification for Automated Production Systems , 2014, SAM.

[13]  Hans Kleine Büning,et al.  Using behavior models for anomaly detection in hybrid systems , 2011, 2011 XXIII International Symposium on Information, Communication and Automation Technologies.

[14]  Oliver Niggemann,et al.  Data-driven anomaly detection in cyber-physical production systems , 2015, Autom..

[15]  Birgit Vogel-Heuser,et al.  Interaction of model-driven engineering and signal-based online monitoring of production systems: Towards Requirement-aware evolution , 2014, IECON 2014 - 40th Annual Conference of the IEEE Industrial Electronics Society.

[16]  Jay Liebowitz,et al.  Knowledge Management Handbook , 1999 .

[17]  Jurgen Lange,et al.  OPC : From Data Access to Unified Architecture , 2010 .

[18]  Manfred Broy,et al.  Interface Behavior Modeling for Automatic Verification of Industrial Automation Systems' Functional Conformance , 2014, Autom..

[19]  Winfried Lamersdorf,et al.  Learning material flow models for manufacturing plants from data traces , 2015, 2015 IEEE 13th International Conference on Industrial Informatics (INDIN).

[20]  Shahin Hashtrudi-Zad,et al.  Fault diagnosis in discrete-event systems: framework and model reduction , 2003, IEEE Trans. Autom. Control..

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

[22]  Winfried Lamersdorf,et al.  Evolution Management of Production Facilities by Semi-Automated Requirement Verification , 2014, Autom..

[23]  Valeriy Vyatkin,et al.  Software Engineering in Industrial Automation: State-of-the-Art Review , 2013, IEEE Transactions on Industrial Informatics.

[24]  Miryam Barad,et al.  Flexibility in manufacturing systems: definitions and Petri net modelling , 1988 .

[25]  Winfried Lamersdorf,et al.  Supporting commissioning of production plants by model-based testing and model learning , 2015, 2015 IEEE 24th International Symposium on Industrial Electronics (ISIE).

[26]  Sven Rogalski Flexibility Measurement in Production Systems , 2011 .

[27]  Miryam Barad,et al.  Flexibility and types of changes in FMSs: A timed petri-nets assessment of machine flexibility , 1990 .

[28]  Mikell P. Groover,et al.  Automation, Production Systems, and Computer-Integrated Manufacturing , 1987 .

[29]  Rolf Isermann,et al.  Fault-diagnosis systems : an introduction from fault detection to fault tolerance , 2006 .

[30]  Dawn M. Tilbury,et al.  Anomaly Detection Using Model Generation for Event-Based Systems Without a Preexisting Formal Model , 2012, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[31]  Lindsay Victoria Allen Verification and Anomaly Detection for Event-Based Control of Manufacturing Systems , 2010 .

[32]  Jean-Jacques Lesage,et al.  Determination of timed transitions in identified discrete-event models for fault detection , 2012, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC).

[33]  Stefan Biffl,et al.  The adaptation of test-driven software processes to industrial automation engineering , 2010, 2010 8th IEEE International Conference on Industrial Informatics.

[34]  Winfried Lamersdorf,et al.  Keeping Pace with Changes - Towards Supporting Continuous Improvements and Extensive Updates in Manufacturing Automation Software , 2013, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

[35]  Martin Witte System Engineering, Plant Engineering and Functional Models , 2012, Softwaretechnik-Trends.

[36]  Bernhard Beckert,et al.  Selected challenges of software evolution for automated production systems , 2015, 2015 IEEE 13th International Conference on Industrial Informatics (INDIN).

[37]  Andy Schürr,et al.  Applying Model-based Software Product Line Testing Approaches to the Automation Engineering Domain , 2014, Autom..

[38]  Winfried Lamersdorf,et al.  Operationalized definitions of non-functional requirements on automated production facilities to measure evolution effects with an automation system , 2013, 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA).

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

[40]  Stefan C. Kremer,et al.  New directions in fuzzy automata , 2005, Int. J. Approx. Reason..

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

[42]  Kristina Säfsten,et al.  Production Development: Design and Operation of Production Systems , 2009 .

[43]  Stefan Biffl,et al.  Test-Driven Automation: Adopting Test-First Development to Improve Automation Systems Engineering Processes , 2009 .

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

[45]  Winfried Lamersdorf,et al.  An active service-component architecture to enable self-awareness of evolving production systems , 2014, Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA).

[46]  Dimitri Lefebvre,et al.  Stochastic Petri Net Identification for the Fault Detection and Isolation of Discrete Event Systems , 2011, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[47]  Chris Aldrich,et al.  Unsupervised Process Monitoring and Fault Diagnosis with Machine Learning Methods , 2013, Advances in Computer Vision and Pattern Recognition.

[48]  Christos G. Cassandras,et al.  Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.

[49]  Armin Zimmermann,et al.  Stochastic Discrete Event Systems: Modeling, Evaluation, Applications , 2007 .

[50]  Simon Peck,et al.  Practice of Petri Nets in Manufacturing , 1993 .

[51]  Surendra M. Gupta,et al.  Petri net models of flexible and automated manufacturing systems : a survey , 1996 .

[52]  Armin Zimmermann,et al.  Stochastic Discrete Event Systems , 2008 .