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] An integrated approach to scheduling in safety-critical embedded control systems
    Bate, I
    Burns, A
    REAL-TIME SYSTEMS, 2003, 25 (01) : 5 - 37
  • [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] 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
  • [24] 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
  • [25] An Integrated Approach to Scheduling in Safety-Critical Embedded Control Systems
    I. Bate
    A. Burns
    Real-Time Systems, 2003, 25 : 5 - 37
  • [26] 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
  • [27] 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
  • [28] 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 - +
  • [29] The New Method of Building a Safety Model for Quantitative Risk Assessment of Complex Technical Systems for Critical Application
    Volochiy, Bohdan
    Mandziy, Bohdan
    Ozirkovskyy, Leonid
    INFORMATION AND COMMUNICATION TECHNOLOGIES IN EDUCATION, RESEARCH, AND INDUSTRIAL APPLICATIONS, 2016, 594 : 56 - 70
  • [30] Dual-model approach for safety-critical embedded systems
    Labiak, Grzegorz
    Wegrzyn, Marek
    Rosado-Munoz, Alfredo
    Bazydlo, Grzegorz
    MICROPROCESSORS AND MICROSYSTEMS, 2020, 72
12345