AutomationML as a Basis for Offline - And Realtime-simulation - Planning, Simulation and Diagnosis of Automation Systems

The growing complexity of production plants leads to a growing complexity of the corresponding automation systems. Developers of such complex automation systems are faced with two significant challenges: (i) The control devices have to be tested before they are used in the plant. For this, offlineand hardware–in–the loop (HIL) simulations can be used. (ii) The diagnosis functions within the automation systems become more and more difficult to implement; this entails the risk of undetected errors. Both challenges may be solved using a system model, i.e. a joint model of the plant and the automation system: (i) Offline simulations and HIL tests use such models as an environment model and (ii) diagnosis functions use such models to define the normal system behaviour—allowing them to detect discrepancies between normal and observed behavior. System models cannot be modelled by one person in a single development step. Instead, such models must mirror the modularity of modern plants and automation systems. Here, the new standard AutomationML is used as basis for such a modular system model. But a modular system model is only a first step: Both testing and diagnosis require the simulation of such models. Therefore, a corresponding modular simulation system for AutomationML models is presented here; for this, the Functional Mock–Up Unit (FMU) standard is used. A prototypical tool chain and a model factory (MF) is used to show results for this modular testing and diagnosis approach.

[1]  Rainer Draht,et al.  Datenaustausch in der Anlagenplanung mit AutomationML , 2010 .

[2]  Stefan Kühne,et al.  Evaluation of OrViA Framework for Model-Driven SOA Implementations: An Industrial Case Study , 2008, BPM.

[3]  Peter Szulman,et al.  Using Ontology-Based Reference Models in Digital Production Engineering Integration , 2005 .

[4]  Wolfgang Kuehn,et al.  Digital Factory - Simulation Enhancing the Product and Production Engineering Process , 2006, Proceedings of the 2006 Winter Simulation Conference.

[5]  Oliver Niggemann,et al.  Statistical Models of Network Traffic , 2010 .

[6]  Oliver Niggemann,et al.  Models for model's sake , 2008, 2008 ACM/IEEE 30th International Conference on Software Engineering.

[7]  Oliver Niggemann,et al.  Durchgehende Systemverifikation im Automotiven Entwicklungsprozess , 2008, MBEES.

[8]  Heinz Gall Functional safety IEC 61508 / IEC 61511 the impact to certification and the user , 2008, 2008 IEEE/ACS International Conference on Computer Systems and Applications.

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

[10]  P Steiner,et al.  Anforderungen und Architektur zukuenftiger Karosserieelektroniksysteme / Requirements and system architecture of future body electronics , 2001 .

[11]  Jeremy Sproston Decidable Model Checking of Probabilistic Hybrid Automata , 2000, FTRTFT.

[12]  P. Supavatanakula,et al.  Diagnosis of timed automata : Theory and application to the DAMADICS actuator benchmark problem , 2004 .

[13]  Andreas Abel,et al.  Functional Mock-up Interface in Mechatronic Gearshift Simulation for Commercial Vehicles , 2012 .

[14]  Stephen J. Mellor,et al.  MDA Distilled Principles Of Model-Driven Architecture , 2004 .

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

[16]  Thomas A. Henzinger,et al.  The Algorithmic Analysis of Hybrid Systems , 1995, Theor. Comput. Sci..

[17]  Vicenç Puig,et al.  Diagnosis of timed automata: Theory and application to the DAMADICS actuator benchmark problem , 2006 .