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.
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.