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

Christoph Legat 1 , Jakob Mund 2 , Alarico Campetelli 2 , Georg Hackenberg 2 , Jens Folmer 1 , Daniel Schütz 1 , Manfred Broy 2 ,  and Birgit Vogel-Heuser 1
  • 1 Technische Universität München, Institute of Automation and Information Systems, Boltzmannstr. 15, 85748 Garching bei München
  • 2 Technische Universität München, Institut für Informatik – Chair IV, Boltzmannstr. 3, 85748 Garching bei München


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.

Purchase article
Get instant unlimited access to the article.
Log in
Already have access? Please log in.

Log in with your institution

Journal + Issues

AT – Automatisierungstechnik covers the entire field of automation technology. It presents the development of theoretical procedures and their possible applications. Topics include new discoveries about the development and application of methods. It presents the function, properties, and applications of tools and includes contributions from the worlds of research, academia, and industry.