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 条
  • [21] Integrating Safety Certification into Model-based Testing of Safety-critical Systems
    Gannous, Aiman
    Andrews, Anneliese
    2019 IEEE 30TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE), 2019, : 250 - 260
  • [22] Innovation Welcome: An Agile Approach to Model-Based Development of Safety-Critical Embedded Systems
    Mills, John
    Turin, Raymond
    Mangas, Jeremy
    Ranville, Scott
    2018 IEEE 15TH INTERNATIONAL CONFERENCE ON SOFTWARE ARCHITECTURE COMPANION (ICSA-C 2018), 2018, : 152 - 152
  • [23] Model-Based Analysis of Safety Critical Systems
    Kushal, K. S.
    Paul, John J.
    Nanda, Manju
    Jayanthi, J.
    2017 INTERNATIONAL CONFERENCE ON INNOVATIONS IN INFORMATION, EMBEDDED AND COMMUNICATION SYSTEMS (ICIIECS), 2017,
  • [24] Integrating Safety Analysis into Model-Based Systems Engineering for Aircraft Systems: A Literature Review and Methodology Proposal
    Lai, Kimberly
    Robert, Thomas
    Shindman, David
    Olechowski, Alison
    INCOSE International Symposium, 2021, 31 (01) : 988 - 1003
  • [25] Model-based systems in the automotive industry
    Struss, P
    Price, C
    AI MAGAZINE, 2003, 24 (04) : 17 - 34
  • [26] An integrated toolchain for model based functional safety analysis
    Rogovchenko-Buffoni, Lena
    Tundis, Andrea
    Hossain, Muhammed Zoheb
    Nyberg, Mattias
    Fritzson, Peter
    JOURNAL OF COMPUTATIONAL SCIENCE, 2014, 5 (03) : 408 - 414
  • [27] Systematic Model-Based Testing of Embedded Automotive Software
    Conrad, Mirko
    Fey, Ines
    Sadeghipour, Sadegh
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 111 : 13 - 26
  • [28] On the Development of a Model-Based Embedded Systems Design Laboratory Course
    Sababha, Belal H.
    AlQaralleh, Esam A.
    Alqudah, Yazan A.
    PROCEEDINGS OF THE 2021 INNOVATION AND NEW TRENDS IN ENGINEERING, SCIENCE AND TECHNOLOGY EDUCATION CONFERENCE (IETSEC 2021), 2021, : 69 - 73
  • [29] Semantic Clone Detection for Model-Based Development of Embedded Systems
    Al-Batran, Bakr
    Schaetz, Bernhard
    Hummel, Benjamin
    MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, 2011, 6981 : 258 - +
  • [30] Some issues in model-based development for embedded control systems
    Caspi, Paul
    From Model-Driven Design to Resource Management for Distributed Embedded Systems, 2006, 225 : 9 - 13
12345