Interface Behavior Modeling for Automatic Verification of Industrial Automation Systems' Functional Conformance
2014; R. Oldenbourg Verlag; Volume: 62; Issue: 11 Linguagem: Inglês
10.1515/auto-2014-1126
ISSN2196-677X
AutoresChristoph Legat, Jakob Mund, Alarico Campetelli, Georg Hackenberg, Jens Folmer, Daniel Schütz, Manfred Broy, Birgit Vogel‐Heuser,
Tópico(s)Business Process Modeling and Analysis
ResumoAbstract 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.
Referência(s)