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

被引：15

作者：

Legat, Christoph ^{[1
]}

Mund, Jakob ^{[2
]}

Campetelli, Alarico ^{[2
]}

Hackenberg, Georg ^{[2
]}

Folmer, Jens ^{[1
]}

Schuetz, Daniel ^{[1
]}

Broy, Manfred ^{[2
]}

Vogel-Heuser, Birgit ^{[1
]}

机构：

[1] Tech Univ Munich, Inst Automat & Informat Syst, D-85748 Garching, Germany

[2] Tech Univ Munich, Inst Informat, Chair 4, D-85748 Garching, Germany

来源：

AT-AUTOMATISIERUNGSTECHNIK | 2014年 / 62卷 / 11期

关键词：

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

D O I：

10.1515/auto-2014-1126

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

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.

引用

页码：815 / 825

页数：11

共 50 条

[1] Automatic verification and conformance testing for validating safety properties of reactive systems
Rusu, V
Marchand, H
Jéron, T
[J]. FM 2005: FORMAL METHODS, PROCEEDINGS, 2005, 3582 : 189 - 204
[2] Modeling and formal verification of production automation systems
Ruf, J
Weiss, RJ
Kropf, T
Rosenstiel, W
[J]. INTEGRATION OF SOFTWARE SPECIFICATION TECHNIQUES FOR APPLICATIONS IN ENGINEERING, 2004, 3147 : 541 - 566
[3] Automatic alarm handling generation for industrial automation systems
Castelnuovo, Adamo
Ferrarini, Luca
[J]. WODES 2006: EIGHTH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS, PROCEEDINGS, 2006, : 188 - +
[4] An Approach for Modeling Variants of Industrial Automation Systems
Maga, C. R.
Jazdi, N.
[J]. PROCEEDINGS OF 2010 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION, QUALITY AND TESTING, ROBOTICS (AQTR 2010), VOLS. 1-3, 2010,
[5] Digital Twin for Verification and Validation of Industrial Automation Systems - a Survey
Loecklin, Andreas
Mueller, Manuel
Jung, Tobias
Jazdi, Nasser
White, Dustin
Weyrich, Michael
[J]. 2020 25TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2020, : 851 - 858
[6] Modeling network architecture and time behavior of Distributed Control Systems in industrial plant automation
Vogel-Heuser, B.
Feldmann, S.
Werner, T.
Diedrich, C.
[J]. IECON 2011: 37TH ANNUAL CONFERENCE ON IEEE INDUSTRIAL ELECTRONICS SOCIETY, 2011, : 2232 - 2237
[7] Automatic verification of safety interlock systems for industrial processes
Yang, SH
Tan, LS
He, CH
[J]. JOURNAL OF LOSS PREVENTION IN THE PROCESS INDUSTRIES, 2001, 14 (05) : 379 - 386
[8] Automatic Model Separation and Application for Diagnosis in Industrial Automation Systems
Windmann, Stefan
Niggemann, Oliver
[J]. 2015 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY (ICIT), 2015, : 1845 - 1850
[9] Unified Functional Safety Assessment of Industrial Automation Systems
Bhatti, Zeeshan E.
Roop, Partha S.
Sinha, Roopak
[J]. IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2017, 13 (01) : 17 - 26
[10] Multi-Level Modeling for Industrial Automation Systems
Aschauer, Thomas
Dauenhauer, Gerd
Pree, Wolfgang
[J]. 2009 35TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS, PROCEEDINGS, 2009, : 490 - 496

← 1 2 3 4 5 →