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 条
  • [41] MODEL-BASED EMBEDDED SYSTEM DESIGN METHODOLOGY FOR AUTOMOTIVE APPLICATIONS
    Luo, Wei
    Chen, Bo
    PROCEEDINGS OF THE ASME INTERNATIONAL DESIGN ENGINEERING TECHNICAL CONFERENCES AND COMPUTERS AND INFORMATION IN ENGINEERING CONFERENCE, 2011, VOL 3, PTS A AND B, 2012, : 21 - 27
  • [42] Practice of Model-based Development for Automotive Engineers
    Wakitani, Shin
    Yamamoto, Toru
    2017 IEEE FRONTIERS IN EDUCATION CONFERENCE (FIE), 2017,
  • [43] Clone Detection in Automotive Model-Based Development
    Deissenboeck, Florian
    Hummel, Benjamin
    Juergens, Elmar
    Schaetz, Bernhard
    Wagner, Stefan
    Girard, Jean-Francois
    Teuchert, Stefan
    ICSE'08 PROCEEDINGS OF THE THIRTIETH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 2008, : 603 - 612
  • [44] Cloud-Based Orchestration of a Model-Based Power and Data Analysis Toolchain
    Post, Ethan
    Cole, Bjorn
    Dinkel, Kevin
    Kim, Hongman
    Lee, Erich
    Nairouz, Bassem
    2016 IEEE AEROSPACE CONFERENCE, 2016,
  • [45] A Model-Based Toolchain to Verify Spatial Behavior of Cyber-Physical Systems
    Herrmann, Peter
    Blech, Jan Olaf
    Han, Fenglin
    Schmidt, Heinz
    INTERNATIONAL JOURNAL OF WEB SERVICES RESEARCH, 2016, 13 (01) : 40 - 52
  • [46] Safety Case Impact Assessment in Automotive Software Systems: An Improved Model-Based Approach
    Kokaly, Sahar
    Salay, Rick
    Chechik, Marsha
    Lawford, Mark
    Maibaum, Tom
    COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2017, 2017, 10488 : 69 - 85
  • [47] Reliability assessment of safety-relevant automotive systems in a model-based design flow
    Reiter, Sebastian
    Pressler, Michael
    Viehl, Alexander
    Bringmann, Oliver
    Rosenstiel, Wolfgang
    2013 18TH ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE (ASP-DAC), 2013, : 417 - 422
  • [48] A Model-Based Software Development Method for Automotive Cyber-Physical Systems
    Gao, Zhigang
    Xia, Haixia
    Dai, Guojun
    COMPUTER SCIENCE AND INFORMATION SYSTEMS, 2011, 8 (04) : 1277 - 1301
  • [49] A model-based approach to integrating security policies for embedded devices
    Department of Computer and Information Science, University of Pennsylvania, Philadelphia, PA 19147, United States
    Association for Computing Machinery, ACM, 1600, 211-219 (2004):
  • [50] Early Model-Based Safety Analysis for Collaborative Robotic Systems
    Manjunath, Meenakshi
    Raja, Jeshwitha Jesus
    Daun, Marian
    IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2024,
12345