Integrating Safety Analysis into the Model-based Development Toolchain of Automotive Embedded Systems

被引：17

作者：

Biehl, Matthias ^{[1
]}

Chen DeJiu ^{[1
]}

Torngren, Martin ^{[1
]}

机构：

[1] Royal Inst Technol KTH, Stockholm, Sweden

来源：

ACM SIGPLAN NOTICES | 2010年 / 45卷 / 04期

关键词：

Design; Reliability; Languages; Safety Analysis; Model-based Development; Architecture Description Language; Tool Integration;

D O I：

10.1145/1755951.1755907

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

The automotive industry has a growing demand for the seamless integration of safety analysis tools into the model-based development toolchain for embedded systems. This requires translating concepts of the automotive domain to the safety domain. We automate such a translation between the automotive architecture description language EAST-ADL2 and the safety analysis tool HiP-HOPS by using model transformations and by leveraging the advantages of different model transformation techniques. Through this integration, the analysis can be conducted early in the development process, when the system can be redesigned to fulfill safety goals with relatively low effort and cost.

引用

页码：125 / 131

页数：7

共 50 条

[31] Student Research Abstract: A Toolchain for Model-Based Development of a Robot Application
Trezzy, Mickael
PROCEEDINGS OF THE 35TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING (SAC'20), 2020, : 1510 - 1513
[32] Development of safety-critical systems and model-based risk analysis with UML
Jürjens, J
Houmb, SH
DEPENDABLE COMPUTING, 2003, 2847 : 364 - 365
[33] 8.3.1 Towards an Integrated Methodology for the Model-based Development of Embedded Automotive Control Software
Buhr, Kerstin
Conrad, Mirko
Dörr, Heiko
Fey, Ines
INCOSE International Symposium, 2005, 15 (01) : 1201 - 1215
[34] DEVELOPMENT OF MODEL-BASED EMBEDDED CONTROL COURSE CURRICULUM FOR NEXT GENERATION OF AUTOMOTIVE ENGINEERS
Chen, Bo
Luo, Wei
Agashe, Pushkar
Feng, Lei
Ge, Zicheng
Li, Yang
PROCEEDINGS OF THE ASME INTERNATIONAL DESIGN ENGINEERING TECHNICAL CONFERENCES AND COMPUTERS AND INFORMATION IN ENGINEERING CONFERENCE, 2013, VOL 4, 2014,
[35] Integrating model checking with HiP-HOPS in model-based safety analysis
Sharvia, Septavera
Papadopoulos, Yiannis
RELIABILITY ENGINEERING & SYSTEM SAFETY, 2015, 135 : 64 - 80
[36] Model-based design of embedded systems
Schattkowsky, T
Müller, W
SEVENTH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS, 2004, : 121 - 128
[37] Model-Based Safety Analysis for Vehicle Guidance Systems
Ghadhab, Majdi
Junges, Sebastian
Katoen, Joost-Pieter
Kuntz, Matthias
Volk, Matthias
COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2017, 2017, 10488 : 3 - 19
[38] Model-Based Security Risk Analysis for Networked Embedded Systems
Vasilevskaya, Maria
Nadjm-Tehrani, Simin
CRITICAL INFORMATION INFRASTRUCTURES SECURITY (CRITIS 2014), 2016, 8985 : 381 - 386
[39] MODEL BASED APPROACH for AUTOMOTIVE EMBEDDED SYSTEMS
Shaout, Adnan
Pattela, Shanmukha
2021 22ND INTERNATIONAL ARAB CONFERENCE ON INFORMATION TECHNOLOGY (ACIT), 2021, : 108 - 114
[40] Model-Based Analysis and Development of Dependable Systems
Buckl, Christian
Knoll, Alois
Schieferdecker, Ina
Zander, Justyna
MODEL-BASED ENGINEERING OF EMBEDDED REAL-TIME SYSTEMS, 2010, 6100 : 271 - +

← 1 2 3 4 5 →