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

Technische Universität München

Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung

23 Zitate (Scopus)

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.

Originalsprache	Englisch
Seiten (von - bis)	815-825
Seitenumfang	11
Fachzeitschrift	At-Automatisierungstechnik
Jahrgang	62
Ausgabenummer	11
DOIs	https://doi.org/10.1515/auto-2014-1126
Publikationsstatus	Veröffentlicht - 28 Nov. 2014

Zugriff auf Dokument

10.1515/auto-2014-1126

Andere Dateien und Links

Verknüpfung zur Publikation in Scopus

Dieses zitieren

@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

Zugriff auf Dokument

Andere Dateien und Links

Fingerprint

Dieses zitieren