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 条
  • [1] Integrating Safety Analysis into the Model-based Development Toolchain of Automotive Embedded Systems
    Biehl, Matthias
    Chen DeJiu
    Torngren, Martin
    LCTES 10-PROCEEDINGS OF THE ACM SIGPLAN/SIGBED 2010 CONFERENCE ON LANGUAGES, COMPILERS, & TOOLS FOR EMBEDDED SYSTEMS, 2010, : 125 - 131
  • [2] Rule checking within the model-based development of safety-critical systems and embedded automotive software
    Farkas, Tibor
    Grund, Daniel
    Eighth International Symposium on Autonomous Decentralized Systems, Proceedings, 2007, : 287 - 294
  • [3] A Model-Based Testing Framework for Automotive Embedded Systems
    Marinescu, Raluca
    Saadatmand, Mehrdad
    Bucaioni, Alessio
    Seceleanu, Cristina
    Pettersson, Paul
    2014 40TH EUROMICRO CONFERENCE SERIES ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA 2014), 2014, : 38 - 47
  • [4] Model-based development of embedded systems
    Conrad, Mirko
    Giese, Holger
    Rumpe, Bernhard
    Schätz, Bernhard
    Tagungsband - Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme III, MBEES 2007, 2007,
  • [5] Model-based semiautomatic safety analysis of programmable systems in automotive applications
    Papadopoulos, Y
    McDermid, J
    Mavrides, A
    Scheidler, C
    Maruhn, M
    ADAS: INTERNATIONAL CONFERENCE ON ADVANCED DRIVER ASSISTANCE SYSTEMS, 2001, (483): : 53 - 57
  • [6] Model-based development of embedded systems
    Huhn, Michaela
    Philipps, Jan
    Schätz, Bernhard
    Koss, Dagmar
    Tagungsband - Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VII, MBEES 2011, 2011,
  • [7] Model-based development of embedded systems
    Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII
    Huhn, M., 1600, TU Clausthal, Adolph-Roemer-StraBe 2A, 38678 Clausthal-Zellerfeld, Germany
  • [8] Model-based development of automotive embedded systems: A case of continuously variable transmission (CVT)
    Oh, WH
    Lee, JH
    Kwon, HG
    Yoon, HJ
    11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, Proceedings, 2005, : 201 - 204
  • [9] A model-based approach to the implementation of automotive embedded control systems
    Lamberson, D
    Teske, NP
    Hedrick, JK
    2003 IEEE INTELLIGENT TRANSPORTATION SYSTEMS PROCEEDINGS, VOLS. 1 & 2, 2003, : 655 - 659
  • [10] Incorporating resource safety verification to executable model-based development for embedded systems
    Yi, Jianliang
    Woo, Honguk
    Browne, James C.
    Mok, Aloysius K.
    Xie, Fei
    Atkins, Ella
    Lee, Chan-Gun
    PROCEEDINGS OF THE 14TH IEEE REAL-TIME AND EMBEDDED TECHNOLOGY AND APPLICATIONS SYMPOSIUM, 2008, : 137 - +
12345