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

共 14 条

[1]

[Anonymous], 2000, Generative Programming: Methods, Tools, and Applications

[2]

BOITEAU M, 2006, RELIABILITY ENG SYST, V91

[3]

*C P PARTN, 2010, CES PROJ

[4]

CHEN D, 2008, LECT NOTES COMPUTER