Interface behavior modeling for automatic verification of industrial automation systems' functional conformance (bibtex)
by Legat, Christoph, Mund, Jakob, Campetelli, Alarico, Hackenberg, Georg, Folmer, Jens, Schütz, Daniel, Broy, Manfred and Vogel-Heuser, Birgit
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. 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.
Reference:
Interface behavior modeling for automatic verification of industrial automation systems' functional conformance (Legat, Christoph, Mund, Jakob, Campetelli, Alarico, Hackenberg, Georg, Folmer, Jens, Schütz, Daniel, Broy, Manfred and Vogel-Heuser, Birgit), In At-Automatisierungstechnik, Walter de Gruyter GmbH, volume 62, 2014.
Bibtex Entry:
@article{LeMuCa2015,
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.
Die Sicherstellung der Korrektheit von Modellen w{\"{a}}hrend der Entwicklung und Evolution industrieller Automatisierungssysteme ist von gro{\ss}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{\"{u}}cksichtigt.},
author = {Legat, Christoph and Mund, Jakob and Campetelli, Alarico and Hackenberg, Georg and Folmer, Jens and Sch{\"{u}}tz, Daniel and Broy, Manfred and Vogel-Heuser, Birgit},
doi = {10.1515/auto-2014-1126},
issn = {01782312},
journal = {At-Automatisierungstechnik},
keywords = {Industrial Automation Systems,Interface Behavior,Model-based Engineering,Verification,modemas},
mendeley-tags = {modemas},
month = {jan},
number = {11},
pages = {815--825},
publisher = {Walter de Gruyter GmbH},
title = {{Interface behavior modeling for automatic verification of industrial automation systems' functional conformance}},
volume = {62},
year = {2014}
}
Powered by bibtexbrowser