Quantitative risk analysis of safety-critical embedded systems

被引：2
|
作者：
Liu, Yinling [1 ]
Shen, Guohua [1 ]
Huang, Zhiqiu [1 ]
Yang, Zhibin [1 ]
机构：
[1] Nanjing Univ Aeronaut & Astronaut, Coll Comp Sci & Technol, Nanjing, Jiangsu, Peoples R China
来源：
SOFTWARE QUALITY JOURNAL | 2017年 / 25卷 / 02期
关键词：
Safety-critical; AADL; Error model; RFMEA;
D O I：
10.1007/s11219-015-9302-6
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Developing safety-critical embedded systems almost always includes a significant emphasis on risk analysis. Risk analysis is still a largely qualitative and manual method of analysis. In this paper, we propose a method for the quantitative analysis method of embedded systems based on the Architecture Analysis and Design Language (AADL) model. First, we extend the Error Model Annex with the RFMEA (Risk-based Failure Mode Effect Analysis) property to express the error effect formally, and then, a risk-based quantitative analysis method is proposed to implement the automatic generation of an RFMEA table. Finally, an eclipse plug-in of this method is implemented and a case study is used to demonstrate its feasibility.
引用
收藏
页码：503 / 527
页数：25
相关论文
共 50 条
  • [1] Quantitative risk analysis of safety–critical embedded systems
    Yinling Liu
    Guohua Shen
    Zhiqiu Huang
    Zhibin Yang
    [J]. Software Quality Journal, 2017, 25 : 503 - 527
  • [2] Qualitative and quantitative analysis of safety-critical systems with
    Leupolz, Johannes
    Knapp, Alexander
    Habermaier, Axel
    Reif, Wolfgang
    [J]. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2018, 20 (04) : 359 - 377
  • [3] Testing Experiences of Safety-Critical Embedded Systems
    Bakker, Bryan
    [J]. ADVANCES IN SYSTEMS SAFETY, 2011, : 169 - 186
  • [4] Safety-critical Java']Java for embedded systems
    Schoeberl, Martin
    Dalsgaard, Andreas Engelbredt
    Hansen, Rene Rydhof
    Korsholm, Stephan E.
    Ravn, Anders P.
    Rivas, Juan Ricardo Rios
    Strom, Torur Biskopsto
    Sondergaard, Hans
    Wellings, Andy
    Zhao, Shuai
    [J]. CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2017, 29 (22):
  • [5] Fault detection in safety-critical embedded systems
    Verber, D
    Colnaric, M
    Halang, WA
    [J]. DESIGN AND ANALYSIS OF DISTRIBUTED EMBEDDED SYSTEMS, 2002, 91 : 113 - 119
  • [6] A Predictable Framework for Safety-Critical Embedded Systems
    Andalam, Sidharta
    Roop, Partha S.
    Girault, Alain
    Traulsen, Claus
    [J]. IEEE TRANSACTIONS ON COMPUTERS, 2014, 63 (07) : 1600 - 1612
  • [7] Application of SOA in Safety-Critical Embedded Systems
    Rodrigues, Douglas
    Pires, Rayner de Melo
    Estrella, Julio Cezar
    Vieira, Marco
    Correa, Mario
    Camargo Junior, Joao Batista
    Jaquie Castelo Branco, Kalinka Regina Lucas
    Trindade Junior, Onofre
    [J]. CONVERGENCE AND HYBRID INFORMATION TECHNOLOGY, 2011, 206 : 345 - +
  • [8] Challenges in Validating Safety-Critical Embedded Systems
    Feiler, Peter H.
    [J]. SAE INTERNATIONAL JOURNAL OF AEROSPACE, 2010, 3 (01): : 109 - 116
  • [9] 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)
  • [10] 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
12345