Abstract
The concept described in this contribution utilizes available process data in production systems to enable to verify the fulfillment of (non-functional) requirements during operation. Therefore, the contribution presents a systematic approach to automatically derive property values out of signal traces by using adaptable runtime models. Those can be checked for the violation of limit values in order to verify the fulfillment or violation of requirements on these properties during an evolution. In an example application to a Pick and Place unit, the concept is used together with an anomaly detection method to support the operator during the evolution process by constantly providing information regarding requirement fulfillment.
Zusammenfassung
Dieser Beitrag präsentiert ein Konzept, wie Struktur- und Verhaltensmodelle von Produktionsanlagen verwendet werden können, um eine stetige Verifikation von (nicht-funktionalen) Anforderungen für Produktionsanlagen zu ermöglichen. In dem gezeigten Vorgehen werden dafür automatisch aus einfachen Signalverläufen der Anlage über adaptierbare Modelle Merkmalsausprägungen des Systems extrahiert. Diese können auf Über- oder Unterschreitung von Grenzwerten überprüft werden, um die Erfüllung oder Verletzung von Anforderungen an diese Merkmale in einer stetigen Evolution zu ermitteln. An einem Demonstrationsbeispiel wird gezeigt, wie ein solches Verfahren dann den Anlagenbetreiber mit Hilfe einer Anomalieerkennung bei der Evolution des Produktionssystems unterstützt.
About the authors
Jan Ladiges, M.Sc. is a researcher at the institute of automation technology at the Helmut-Schmidt-University, Hamburg. His main interest is on the evolution of production facilities and its influence on requirements specified on them.
Helmut-Schmidt-University/University of the Federal Armed Forces Hamburg, Institute of Automation Technology, Holstenhofweg 85, 22043 Hamburg, Germany, Tel.: +49 40-6541-3663, Fax: +49 40-6541-2004
Dipl. Wi.-Inf. Christopher Haubeck is a researcher in the Distributed Systems research unit in the Informatics Department of the Hamburg University. His main scientific interests are software for distributed and component-oriented systems, architectures for evolving software applications, runtime testing and simulation.
University of Hamburg, Distributed Systems and Information Systems, Vogt-Kölln-Straße 30, 22527 Hamburg, Germany, Tel.: +49 40-42883-2327, Fax: +49 40-42883-2328
Prof. Dr.-Ing. Alexander Fay is professor in automation technology at the faculty of mechanical engineering of the Helmut-Schmidt-University, Hamburg. His main interest is on description methods, tools, and supporting methods for an efficient engineering of automation systems.
Helmut-Schmidt-University/University of the Federal Armed Forces Hamburg, Institute of Automation Technology, Holstenhofweg 85, 22043 Hamburg, Germany
Prof.-Dr. Winfried Lamersdorf is professor in the Informatics Department of the Hamburg University and head of the Distributed Systems unit. His main interests are in distributed systems, service-, agent- and component-oriented systems as well as related applications like business process management and production automation.
University of Hamburg, Distributed Systems and Information Systems, Vogt-Kölln-Straße 30, 22527 Hamburg, Germany, Tel.: +49 40-42883-2421, Fax: +49 40-42883-2328
©2014 Walter de Gruyter Berlin/Boston
