Skip to content
Licensed Unlicensed Requires Authentication Published by De Gruyter (O) October 28, 2014

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

Schnittstellenverhalten zur Verifikation der funktionalen Korrektheit von industriellen Automatisierungssystemen
  • Christoph Legat

    Dipl.-Inf. Christoph Legat is a researcher at the Institute of Automation and Information Systems, Technische Universität München. His research interest is on the application of formal methods and knowledge-based techniques to improve the flexibility and changeability of automation control systems.

    Technische Universität München, Institute of Automation and Information Systems, Boltzmannstr. 15, 85748 Garching bei München

    EMAIL logo
    , Jakob Mund

    M.Sc. Jakob Mund works as a research assistant at the Chair IV: Software & Systems Engineering at Technische Universität Müenchen. His research interests include model-driven engineering and the application of formal methods.

    Technische Universität München, Institut für Informatik – Chair IV, Boltzmannstr. 3, 85748 Garching bei München

    , Alarico Campetelli

    M.Sc. Alarico Campetelli is a researcher at Chair IV: Software & Systems Engineering at Technische Universität Müenchen. His research interests are in formal methods, formal verification, hybrid systems and model-based development.

    Technische Universität München, Institut für Informatik – Chair IV, Boltzmannstr. 3, 85748 Garching bei München

    , Georg Hackenberg

    M.Sc. Georg Hackenberg is a researcher at Chair IV: Software & Systems Engineering at Technische Universität Müenchen. His research interest is on model-based approaches for the development of cyber-physical systems with special focus on mechatronics and dynamic optimization.

    Technische Universität München, Institut für Informatik – Chair IV, Boltzmannstr. 3, 85748 Garching bei München

    , Jens Folmer

    M. Sc. Jens Folmer is currently researching towards his Ph.D. degree at the Institute of Automation and Information Systems, Technische Universität München. He does research on the formal analysis of process and alarm data for cause-effect analysis and root cause detection and diagnosis in automation.

    Technische Universität München, Institute of Automation and Information Systems, Boltzmannstr. 15, 85748 Garching bei München

    , Daniel Schütz

    Dipl.-Ing. Daniel Schütz is currently researching towards his PhD degree at the Institute of Automation and Information Systems, Technische Universität München. He does research on the design of model-based development of intelligent real-time software for automation systems with regard to plant dependability and modularity aspects.

    Technische Universität München, Institute of Automation and Information Systems, Boltzmannstr. 15, 85748 Garching bei München

    , Manfred Broy

    Prof. Dr. Dr. h.c. Manfred Broy studied Mathematics and Computer Science at the Technische Universität München. In 1980 he received his Ph.D. and 1982 he completed his Habilitation Thesis. Since 1989 he is a full professor for computer science at the Faculty of Computer Science at the Technische Universität München, Chair IV: Software & Systems Engineering (former chair of Professor F.L. Bauer). His research interests are software and systems engineering comprising both theoretical and applied aspects including system models, specification and refinement of system components, specification techniques, development methods and verification. In 1994 he received the Leibniz Award by the Deutsche Forschungsgemeinschaft and in 2007 the Konrad Zuse Medal by the Gesellschaft für Informatik.

    Technische Universität München, Institut für Informatik – Chair IV, Boltzmannstr. 3, 85748 Garching bei München

    and Birgit Vogel-Heuser

    Prof. Dr.-Ing. Birgit Vogel-Heuser graduated in electrical engineering and received the Ph.D. in mechanical engineering from the RWTH Aachen in 1991. She worked for nearly ten years in industrial automation in the machine and plant manufacturing industry. After holding different chairs of automation she has been head of the Institute of Automation and Information Systems at the Technische Universität München since 2009. Her research work is focused on modeling and education in automation engineering for distributed and intelligent systems.

    Technische Universität München, Institute of Automation and Information Systems, Boltzmannstr. 15, 85748 Garching bei München

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.

Zusammenfassung

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.

About the authors

Christoph Legat

Dipl.-Inf. Christoph Legat is a researcher at the Institute of Automation and Information Systems, Technische Universität München. His research interest is on the application of formal methods and knowledge-based techniques to improve the flexibility and changeability of automation control systems.

Technische Universität München, Institute of Automation and Information Systems, Boltzmannstr. 15, 85748 Garching bei München

Jakob Mund

M.Sc. Jakob Mund works as a research assistant at the Chair IV: Software & Systems Engineering at Technische Universität Müenchen. His research interests include model-driven engineering and the application of formal methods.

Technische Universität München, Institut für Informatik – Chair IV, Boltzmannstr. 3, 85748 Garching bei München

Alarico Campetelli

M.Sc. Alarico Campetelli is a researcher at Chair IV: Software & Systems Engineering at Technische Universität Müenchen. His research interests are in formal methods, formal verification, hybrid systems and model-based development.

Technische Universität München, Institut für Informatik – Chair IV, Boltzmannstr. 3, 85748 Garching bei München

Georg Hackenberg

M.Sc. Georg Hackenberg is a researcher at Chair IV: Software & Systems Engineering at Technische Universität Müenchen. His research interest is on model-based approaches for the development of cyber-physical systems with special focus on mechatronics and dynamic optimization.

Technische Universität München, Institut für Informatik – Chair IV, Boltzmannstr. 3, 85748 Garching bei München

Jens Folmer

M. Sc. Jens Folmer is currently researching towards his Ph.D. degree at the Institute of Automation and Information Systems, Technische Universität München. He does research on the formal analysis of process and alarm data for cause-effect analysis and root cause detection and diagnosis in automation.

Technische Universität München, Institute of Automation and Information Systems, Boltzmannstr. 15, 85748 Garching bei München

Daniel Schütz

Dipl.-Ing. Daniel Schütz is currently researching towards his PhD degree at the Institute of Automation and Information Systems, Technische Universität München. He does research on the design of model-based development of intelligent real-time software for automation systems with regard to plant dependability and modularity aspects.

Technische Universität München, Institute of Automation and Information Systems, Boltzmannstr. 15, 85748 Garching bei München

Manfred Broy

Prof. Dr. Dr. h.c. Manfred Broy studied Mathematics and Computer Science at the Technische Universität München. In 1980 he received his Ph.D. and 1982 he completed his Habilitation Thesis. Since 1989 he is a full professor for computer science at the Faculty of Computer Science at the Technische Universität München, Chair IV: Software & Systems Engineering (former chair of Professor F.L. Bauer). His research interests are software and systems engineering comprising both theoretical and applied aspects including system models, specification and refinement of system components, specification techniques, development methods and verification. In 1994 he received the Leibniz Award by the Deutsche Forschungsgemeinschaft and in 2007 the Konrad Zuse Medal by the Gesellschaft für Informatik.

Technische Universität München, Institut für Informatik – Chair IV, Boltzmannstr. 3, 85748 Garching bei München

Birgit Vogel-Heuser

Prof. Dr.-Ing. Birgit Vogel-Heuser graduated in electrical engineering and received the Ph.D. in mechanical engineering from the RWTH Aachen in 1991. She worked for nearly ten years in industrial automation in the machine and plant manufacturing industry. After holding different chairs of automation she has been head of the Institute of Automation and Information Systems at the Technische Universität München since 2009. Her research work is focused on modeling and education in automation engineering for distributed and intelligent systems.

Technische Universität München, Institute of Automation and Information Systems, Boltzmannstr. 15, 85748 Garching bei München

Received: 2014-6-29
Accepted: 2014-9-15
Published Online: 2014-10-28
Published in Print: 2014-11-28

©2014 Walter de Gruyter Berlin/Boston

Downloaded on 28.3.2024 from https://www.degruyter.com/document/doi/10.1515/auto-2014-1126/html
Scroll to top button