Skip to content
Licensed Unlicensed Requires Authentication Published by Oldenbourg Wissenschaftsverlag October 28, 2014

Interface Behavior Modeling for Automatic Verification of Industrial Automation Systems' Functional Conformance

Schnittstellenverhalten zur Verifikation der funktionalen Korrektheit von industriellen Automatisierungssystemen
Christoph Legat, Jakob Mund, Alarico Campetelli, Georg Hackenberg, Jens Folmer, Daniel Schütz, Manfred Broy and Birgit Vogel-Heuser

Abstract

To facilitate engineering and evolution of automation systems, ensuring the correctness of the design models is an important topic. Industrial automation systems are composed of various heterogeneous elements designed by different disciplines such as mechanical, electrical/electronic and software engineering. In this contribution, an approach for modeling industrial automation systems is presented which is based on interface behavior modeling of design artifacts and which supports automatic verification of their functional conformance while considering information from various disciplines.

Zusammenfassung

Die Sicherstellung der Korrektheit von Modellen während der Entwicklung und Evolution industrieller Automatisierungssysteme ist von großer Bedeutung. Eine Vielzahl unterschiedlicher Disziplinen, z.B. Mechanik, Elektrik/Elektronik und Software, sind dabei an deren Entwicklung beteiligt. In diesem Beitrag wird ein Ansatz zur Modellierung von Automatisierungssystemen vorgestellt, der die Modellierung des Schnittstellenverhaltens zur automatischen Verifikation der funktionalen Korrektheit von Artefakten adressiert und dabei Informationen von verschiedenen beteiligten Disziplinen berücksichtigt.

Received: 2014-6-29
Accepted: 2014-9-15
Published Online: 2014-10-28
Published in Print: 2014-11-28

©2014 Walter de Gruyter Berlin/Boston