Interface behavior modeling for automatic verification of industrial automation systems' functional conformance

Christoph Legat; Jakob Mund; Alarico Campetelli; Georg Hackenberg; Jens Folmer; Daniel Schütz; Manfred Broy; Birgit Vogel-Heuser

doi:10.1515/auto-2014-1126

Interface behavior modeling for automatic verification of industrial automation systems' functional conformance

Christoph Legat, Jakob Mund, Alarico Campetelli, Georg Hackenberg, Jens Folmer, Daniel Schütz, Manfred Broy, Birgit Vogel-Heuser

Technical University of Munich

Research output: Contribution to journal › Article › peer-review

23 Scopus citations

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.

Original language	English
Pages (from-to)	815-825
Number of pages	11
Journal	At-Automatisierungstechnik
Volume	62
Issue number	11
DOIs	https://doi.org/10.1515/auto-2014-1126
State	Published - 28 Nov 2014

Keywords

Industrial Automation Systems
Interface Behavior
Model-based Engineering
Verification

Access to Document

10.1515/auto-2014-1126

Cite this

@article{11471cbf246e4c3181fbb69682cff090,

title = "Interface behavior modeling for automatic verification of industrial automation systems' functional conformance",

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

keywords = "Industrial Automation Systems, Interface Behavior, Model-based Engineering, Verification",

author = "Christoph Legat and Jakob Mund and Alarico Campetelli and Georg Hackenberg and Jens Folmer and Daniel Sch{\"u}tz and Manfred Broy and Birgit Vogel-Heuser",

note = "Publisher Copyright: {\textcopyright} Walter de Gruyter Berlin/Boston 2014.",

year = "2014",

month = nov,

day = "28",

doi = "10.1515/auto-2014-1126",

language = "English",

volume = "62",

pages = "815--825",

journal = "At-Automatisierungstechnik",

issn = "0178-2312",

publisher = "De Gruyter Oldenbourg",

number = "11",

}

TY - JOUR

T1 - Interface behavior modeling for automatic verification of industrial automation systems' functional conformance

AU - Legat, Christoph

AU - Mund, Jakob

AU - Campetelli, Alarico

AU - Hackenberg, Georg

AU - Folmer, Jens

AU - Schütz, Daniel

AU - Broy, Manfred

AU - Vogel-Heuser, Birgit

N1 - Publisher Copyright: © Walter de Gruyter Berlin/Boston 2014.

PY - 2014/11/28

Y1 - 2014/11/28

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

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

KW - Industrial Automation Systems

KW - Interface Behavior

KW - Model-based Engineering

KW - Verification

UR - http://www.scopus.com/inward/record.url?scp=84910146488&partnerID=8YFLogxK

U2 - 10.1515/auto-2014-1126

DO - 10.1515/auto-2014-1126

M3 - Article

AN - SCOPUS:84910146488

SN - 0178-2312

VL - 62

SP - 815

EP - 825

JO - At-Automatisierungstechnik

JF - At-Automatisierungstechnik

IS - 11

ER -

Interface behavior modeling for automatic verification of industrial automation systems' functional conformance

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this