Modelling Support for Design of Safety-Critical Automotive Embedded Systems

被引：0
|
作者：
Chen, DeJiu [1 ]
Johansson, Rolf [2 ]
Loenn, Henrik [3 ]
Papadopoulos, Yiannis [4 ]
Sandberg, Anders [5 ]
Toerner, Fredrik [6 ]
Toerngren, Martin [1 ]
机构：
[1] Royal Inst Technol, SE-10044 Stockholm, Sweden
[2] Mentor Graph Corp, SE-41755 Gothenburg, Sweden
[3] Volvo Tech Corp, SE-40508 Gothenburg, Sweden
[4] Univ Hull, Kingston Upon Hull HU6 7RX, N Humberside, England
[5] Mecel AB, SE-400 Gothenburg, Sweden
[6] Volvo Car Corp, SE-40531 Gothenburg, Sweden
来源：
COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS | 2008年 / 5219卷
关键词：
Automotive Embedded Systems; Dependability; Model-Based Development; Safety Analysis; Safety Case;
D O I：
暂无
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
This paper describes and demonstrates an approach that promises to bridge the gap between model-based systems engineering and the safety process of automotive embedded systems. The basis for this is the integration of safety analysis techniques, a method for developing and managing Safety Cases, and a systematic approach to model-based engineering - the EAST-ADL2 architecture description language. Three areas are highlighted: (I) System model development on different levels of abstraction. This enables fulfilling many requirements on software development as specified by ISO-CD-26262 (2) Safety Case development in close connection to the system model (3) Analysis of mal-functional behaviour that may cause hazards, by modelling of errors and error propagation in a (complex and hierarchical) system model.
引用
收藏
页码：72 / +
页数：2
相关论文
共 50 条
  • [1] Safety Assessment of Design Patterns for Safety-Critical Embedded Systems
    Armoush, Ashraf
    Beckschulze, Eva
    Kowalewski, Stefan
    [J]. 2009 35TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS, PROCEEDINGS, 2009, : 523 - 527
  • [2] Improving Methods and Processes for the Development of Safety-Critical Automotive Embedded Systems
    Krammer, Martin
    Marko, Nadja
    Armengaud, Eric
    Geyer, Dirk
    Griessnig, Gerhard
    [J]. 2010 IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2010,
  • [3] A semantic support for Testing Activities of Safety-Critical Embedded Systems
    Venticinque, Alessio
    Mazzocca, Nicola
    Venticinque, Salvatore
    [J]. 2014 EIGHTH INTERNATIONAL CONFERENCE ON COMPLEX, INTELLIGENT AND SOFTWARE INTENSIVE SYSTEMS (CISIS),, 2014, : 576 - 581
  • [4] A Bridge from System to Software Development for Safety-Critical Automotive Embedded Systems
    Mader, Roland
    Griessnig, Gerhard
    Armengaud, Eric
    Leitner, Andrea
    Kreiner, Christian
    Bourrouilh, Quentin
    Steger, Christian
    Weiss, Reinhold
    [J]. 2012 38TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA), 2012, : 75 - 79
  • [5] 10.1.1 A Process and Data Model for Automotive Safety-Critical Systems Design
    Guillermo, Hugo
    Góngora, Chalé
    Taofifenua, Ofaina
    Gaudré, Thierry
    [J]. INCOSE International Symposium, 2010, 20 (01) : 1211 - 1226
  • [6] Runtime adaptation in safety-critical automotive systems
    Trapp, Mario
    Adler, Rasmus
    Foerster, Marc
    Junger, Janosch
    [J]. PROCEEDINGS OF THE IASTED INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 2007, : 308 - +
  • [7] Safety-critical systems design
    Douglass, BP
    [J]. ELECTRONIC ENGINEERING, 1998, 70 (862): : 45 - +
  • [8] Safety-critical systems design
    Douglass, Bruce Powel
    [J]. Electronic Engineering (London), 1998, 70 (862):
  • [9] USING Z TO SUPPORT THE DESIGN OF INTERACTIVE SAFETY-CRITICAL SYSTEMS
    JOHNSON, CW
    [J]. SOFTWARE ENGINEERING JOURNAL, 1995, 10 (02): : 49 - 60
  • [10] Design and Implementation of an Escape Analysis in the Context of Safety-Critical Embedded Systems
    Lang, Clemens
    Stilkerich, Isabella
    [J]. ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2020, 19 (01)
12345