Quantitative risk analysis of safety–critical embedded systems

被引：0
|
作者：
Yinling Liu
Guohua Shen
Zhiqiu Huang
Zhibin Yang
机构：
[1] Nanjing University of Aeronautics and Astronautics,College of Computer Science and Technology
来源：
Software Quality Journal | 2017年 / 25卷
关键词：
Safety–critical; AADL; Error model; RFMEA;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
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
页数：24
相关论文
共 50 条
  • [21] Model-Based Validation of Safety-Critical Embedded Systems
    Feiler, Peter H.
    2010 IEEE AEROSPACE CONFERENCE PROCEEDINGS, 2010,
  • [22] Human performance and embedded intelligent technology in safety-critical systems
    Grabowski, M
    Sanborn, SD
    INTERNATIONAL JOURNAL OF HUMAN-COMPUTER STUDIES, 2003, 58 (06) : 637 - 670
  • [23] An integrated approach to scheduling in safety-critical embedded control systems
    Bate, I
    Burns, A
    REAL-TIME SYSTEMS, 2003, 25 (01) : 5 - 37
  • [24] Evaluation of a Formalized Encryption Library for Safety-Critical Embedded Systems
    Schulz, Thorsten
    Golatowski, Frank
    Timmermann, Dirk
    2017 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY (ICIT), 2017, : 1153 - 1158
  • [25] An Integrated Approach to Scheduling in Safety-Critical Embedded Control Systems
    I. Bate
    A. Burns
    Real-Time Systems, 2003, 25 : 5 - 37
  • [26] Design methodology for battery powered embedded systems - In safety critical application
    Chowdury, Joydeb Roy
    Pattanayak, Sayantica
    Bhattacharjee, A. K.
    COMPUTER STANDARDS & INTERFACES, 2009, 31 (02) : 499 - 503
  • [27] A semantic support for Testing Activities of Safety-Critical Embedded Systems
    Venticinque, Alessio
    Mazzocca, Nicola
    Venticinque, Salvatore
    2014 EIGHTH INTERNATIONAL CONFERENCE ON COMPLEX, INTELLIGENT AND SOFTWARE INTENSIVE SYSTEMS (CISIS),, 2014, : 576 - 581
  • [28] Towards Assured Dynamic Configuration of Safety-Critical Embedded Systems
    Kajtazovic, Nermin
    Preschern, Christopher
    Hoeller, Andrea
    Kreiner, Christian
    COMPUTER SAFETY, RELIABILITY, AND SECURITY, 2014, 8696 : 167 - 179
  • [29] Modelling Support for Design of Safety-Critical Automotive Embedded Systems
    Chen, DeJiu
    Johansson, Rolf
    Loenn, Henrik
    Papadopoulos, Yiannis
    Sandberg, Anders
    Toerner, Fredrik
    Toerngren, Martin
    COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS, 2008, 5219 : 72 - +
  • [30] A Functional Safety OpenMP* for Critical Real-Time Embedded Systems
    Royuela, Sara
    Duran, Alejandro
    Serrano, Maria A.
    Quinones, Eduardo
    Martorell, Xavier
    SCALING OPENMP FOR EXASCALE PERFORMANCE AND PORTABILITY (IWOMP 2017), 2017, 10468 : 231 - 245
12345