Interface Behavior Modeling for Automatic Verification of Industrial Automation Systems' Functional Conformance
Christoph Legat, Jakob Mund, Alarico Campetelli, Georg Hackenberg, Jens Folmer, Daniel Schutz, Manfred Broy and Birgit Vogel-Heuser
Automatisierungstechnik (at), Vol. 62, No. 11, November 2014
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.
BibTeX Citation
@article{
author = "Legat, Christoph and Mund, Jakob and Campetelli, Alarico and Hackenberg, Georg and Folmer, Jens and Schütz, Daniel and Broy, Manfred and Vogel-Heuser, Birgit",
title = "Interface Behavior Modeling for Automatic Verification of Industrial Automation Systems' Functional Conformance",
journal = "Automatisierungstechnik (at)",
year = "2014",
volume = "62",
number = "11",
pages = "815-825"
}