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 条
  • [41] Safety Critical Variable Analysis for Process Systems
    Wang, Yuchen
    Ji, Zuzhen
    Cao, Yi
    Yang, Shuang-Hua
    INDUSTRIAL & ENGINEERING CHEMISTRY RESEARCH, 2023, 62 (50) : 21704 - 21720
  • [42] Fault maintenance in embedded systems applications - Multiple lift control system as safety critical embedded application
    Sveda, Miroslav
    Vrba, Radimir
    ICINCO 2006: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON INFORMATICS IN CONTROL, AUTOMATION AND ROBOTICS: INTELLIGENT CONTROL SYSTEMS AND OPTIMIZATION, 2006, : 183 - +
  • [43] Introducing a component technology for safety critical embedded real-time systems
    Sandström, K
    Fredriksson, J
    Åkerholm, M
    COMPONENT-BASED SOFTWARE ENGINEERING, 2004, 3054 : 194 - 208
  • [44] Validation and certification of safety-critical embedded systems -: The DECOS test bench
    Schoitsch, Erwin
    Althammer, Egbert
    Eriksson, Henrik
    Vinter, Jormy
    Goenczy, Laszlo
    Pataricza, Andras
    Csertan, Gyoergy
    COMPUTER SAFETY, RELIABILTIY, AND SECURITY, PROCEEDINGS, 2006, 4166 : 372 - 385
  • [45] SEnSE - An Architecture for a Safe and Secure Integration of Safety-Critical Embedded Systems
    Hoefig, Kai
    Klug, Amir
    2018 26TH INTERNATIONAL CONFERENCE ON SOFTWARE, TELECOMMUNICATIONS AND COMPUTER NETWORKS (SOFTCOM), 2018, : 263 - 267
  • [46] Improving Methods and Processes for the Development of Safety-Critical Automotive Embedded Systems
    Krammer, Martin
    Marko, Nadja
    Armengaud, Eric
    Geyer, Dirk
    Griessnig, Gerhard
    2010 IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2010,
  • [47] Specifying safety-critical embedded systems with statecharts and Z:: A case study
    Büssow, R
    Geisler, R
    Klar, M
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, 1998, 1382 : 71 - 87
  • [48] Development of a framework for automated systematic testing of safety-critical embedded systems
    Kandl, Susanne
    Kirner, Raimund
    Puschner, Peter
    PROCEEDINGS OF THE FOURTH INTERNATIONAL WORKSHOP ON INTELLIGENT SOLUTIONS IN EMBEDDED SYSEMS, 2006, : 65 - +
  • [49] Dependable polygon-processing algorithms for safety-critical embedded systems
    Brandt, J
    Schneider, K
    EMBEDDED AND UBIQUITOUS COMPUTING - EUC 2005, 2005, 3824 : 405 - 417
  • [50] Analysis of Errors in Safety Critical Embedded System Software in Aerial Vehicle
    Lakshmi, K. V. N. S.
    Kumar, Sanjeev
    INFORMATION, COMMUNICATION AND COMPUTING TECHNOLOGY, 2017, 750 : 246 - 257
12345