Entwurf, Modellierung und Verifikation von Serviceabhängigkeiten in Prozessmodulen

Zusammenfassung Dieser Beitrag beschreibt eine Methode für das Engineering von Abhängigkeiten zwischen Services, die ein Modul einer Produktionsanlage in der Prozessindustrie anbietet. Hierzu wird eine Serviceabhängigkeitsmatrix eingeführt, die beim Engineering eines Moduls genutzt werden kann, um die Abhängigkeiten zwischen Services festzulegen. Die Services werden jeweils als Petri-Netz beschrieben und durch die Abhängigkeiten in eine zusammenhängende Petri-Netz-Struktur überführt. Zur effizienten Darstellung der Services und ihrer Abhängigkeiten wird, basierend auf dem PNML-Kernmodell, ein neuer Petri-Netz-Typ eingeführt, die ServiceNets. Eine formale Analyse dieser Petri-Netze erlaubt die Verifikation u. a. hinsichtlich erreichbarer Zustände und Deadlock-Freiheit.

[1]  A. Fay,et al.  Zustandsbasierte Führung modularer Prozessanlagen , 2017 .

[2]  Leon Urbas,et al.  A microservice-based architecture approach for the automation of modular process plants , 2017, 2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA).

[3]  Leon Urbas,et al.  Model-based engineering of CPPS in the process industries , 2017, 2017 IEEE 15th International Conference on Industrial Informatics (INDIN).

[4]  Alexander Fay,et al.  Analysis of service-oriented architecture approaches suitable for modular process automation , 2016, 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA).

[5]  Axel Haller,et al.  Namur Modul Type Package – Definition , 2016 .

[6]  Leon Urbas,et al.  Namur Modul Type Package – Implementierung , 2016 .

[7]  Jean-Marie Farines,et al.  Automatic test of safety specifications for PLC programs in the Oil and Gas Industry , 2015 .

[8]  Michael Obst,et al.  Automatisierung im Life Cycle modularer Anlagen : Welche Veränderungen und Chancen sich ergeben , 2013 .

[9]  Gerhard Schembecker,et al.  Die 50 %-Idee: Modularisierung im Planungsprozess , 2012 .

[10]  Steffen Zimmermann,et al.  Automatisierte Modellierung, Umsetzung und Ausführung von Prozessen - Ein Web Service-basiertes Konzept , 2011, Wirtschaftsinformatik.

[11]  Stephan Buchwald,et al.  Modellierung von Service-Aufrufbeziehungen zwischen prozessorientierten Applikationen , 2010, EMISA Forum.

[12]  A. Fay,et al.  Computer-aided design and implementation of interlock control code , 2006, 2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control.

[13]  Francis G. McCabe,et al.  Reference Model for Service Oriented Architecture 1.0 , 2006 .

[14]  Wolfgang Reisig,et al.  Kommunizierende Workflow-Services modellieren und analysieren , 2005, Informatik - Forschung und Entwicklung.

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

[16]  Markus Völter,et al.  Modellgetriebene Softwareentwicklung - Techniken, Engineering, Management , 2005 .

[17]  Klaus D. Müller-Glaser,et al.  Automatisierte Modellkopplung heterogener eingebetteter Systeme , 2004, PEARL.

[18]  Richard S. Hall,et al.  Automating Service Dependency Management in a Service-Oriented Component Model , 2003 .

[19]  Wolfgang Fengler,et al.  Modeling of complex automation systems using colored State Charts , 2002, Proceedings 2002 IEEE International Conference on Robotics and Automation (Cat. No.02CH37292).