Jump to ContentJump to Main Navigation
Show Summary Details
More options …

at - Automatisierungstechnik

Methoden und Anwendungen der Steuerungs-, Regelungs- und Informationstechnik

[AT - Automation Technology: Methods and Applications of Control, Regulation, and Information Technology
]

Editor-in-Chief: Bretthauer, Georg

12 Issues per year


IMPACT FACTOR 2016: 0.675

CiteScore 2016: 0.55

SCImago Journal Rank (SJR) 2016: 0.262
Source Normalized Impact per Paper (SNIP) 2016: 0.645

Online
ISSN
2196-677X
See all formats and pricing
More options …
Volume 62, Issue 11 (Nov 2014)

Issues

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

Schnittstellenverhalten zur Verifikation der funktionalen Korrektheit von industriellen Automatisierungssystemen

Christoph Legat
  • Corresponding author
  • Technische Universität München, Institute of Automation and Information Systems, Boltzmannstr. 15, 85748 Garching bei München
  • Email
  • Other articles by this author:
  • De Gruyter OnlineGoogle Scholar
/ Jakob Mund
  • Technische Universität München, Institut für Informatik – Chair IV, Boltzmannstr. 3, 85748 Garching bei München
  • Email
  • Other articles by this author:
  • De Gruyter OnlineGoogle Scholar
/ Alarico Campetelli
  • Technische Universität München, Institut für Informatik – Chair IV, Boltzmannstr. 3, 85748 Garching bei München
  • Email
  • Other articles by this author:
  • De Gruyter OnlineGoogle Scholar
/ Georg Hackenberg
  • Technische Universität München, Institut für Informatik – Chair IV, Boltzmannstr. 3, 85748 Garching bei München
  • Email
  • Other articles by this author:
  • De Gruyter OnlineGoogle Scholar
/ Jens Folmer
  • Technische Universität München, Institute of Automation and Information Systems, Boltzmannstr. 15, 85748 Garching bei München
  • Email
  • Other articles by this author:
  • De Gruyter OnlineGoogle Scholar
/ Daniel Schütz
  • Technische Universität München, Institute of Automation and Information Systems, Boltzmannstr. 15, 85748 Garching bei München
  • Email
  • Other articles by this author:
  • De Gruyter OnlineGoogle Scholar
/ Manfred Broy
  • Technische Universität München, Institut für Informatik – Chair IV, Boltzmannstr. 3, 85748 Garching bei München
  • Email
  • Other articles by this author:
  • De Gruyter OnlineGoogle Scholar
/ Birgit Vogel-Heuser
  • Technische Universität München, Institute of Automation and Information Systems, Boltzmannstr. 15, 85748 Garching bei München
  • Email
  • Other articles by this author:
  • De Gruyter OnlineGoogle Scholar
Published Online: 2014-10-28 | DOI: https://doi.org/10.1515/auto-2014-1126

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.

Schlagwörter: Modellbasierte Entwicklung; Schnittstellenverhalten; industrielle Automatisierungssysteme; Verifikation

Keywords: Model-based Engineering; Interface Behavior; Industrial Automation Systems; Verification

About the article

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


Accepted: 2014-09-15

Received: 2014-06-29

Published Online: 2014-10-28

Published in Print: 2014-11-28


Citation Information: at - Automatisierungstechnik, ISSN (Online) 2196-677X, ISSN (Print) 0178-2312, DOI: https://doi.org/10.1515/auto-2014-1126.

Export Citation

©2014 Walter de Gruyter Berlin/Boston. Copyright Clearance Center

Citing Articles

Here you can find all Crossref-listed publications in which this article is cited. If you would like to receive automatic email messages as soon as this article is cited in other publications, simply activate the “Citation Alert” on the top of this page.

[1]
Jan Ladiges, Alexander Fay, and Winfried Lamersdorf
Intelligent Industrial Systems, 2016, Volume 2, Number 2, Page 163
[2]
Birgit Vogel-Heuser, Alexander Fay, Ina Schaefer, and Matthias Tichy
Journal of Systems and Software, 2015, Volume 110, Page 54

Comments (0)

Please log in or register to comment.
Log in