A Combined Analysis Method of FMEA and FTA for Improving The Safety Analysis Quality of Safety-Critical Software

被引:0
|
作者
Han, Xiangyu [1 ]
Zhang, Jun [1 ]
机构
[1] CASC, Beijing Aerosp Automat Control Inst, Software Dept, Beijing, Peoples R China
关键词
D O I
暂无
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
Software safety analysis methods are used broadly in safety-critical systems to secure software safety and to recognize potential errors during software development, particularly at the early stage. FMEA and FTA are two traditional safety analysis methods, both of which provide a complementary way of identifying errors and tracking their possible influences. They have already been widely adopted in safety-critical industries. However, the effectiveness of FMEA and FTA depends on a complete understanding of the software being analyzed. Unlike hardware safety analysis, software safety analysis is usually a process of iteration. It is more difficult to get a comprehensive understanding of the software being analyzed at the early stage of software life cycle. A combined analysis method of FMEA and FTA was presented in this paper, which could detect more potential errors of software at the early stage. An analysis process which can convert and verify between FMEA and FTA was created. A semi-auto analyzing tool was developed to carry the process. Comparison experiments were carried out to testify the effectiveness of this method, which showed that the combined method proposed by this paper achieved better results.
引用
收藏
页码:353 / 356
页数:4
相关论文
共 50 条
  • [1] A Safety Analysis Method for Control Software in Coordination with FMEA and FTA
    Takahashi, Masakazu
    Anang, Yunarso
    Watanabe, Yoshimichi
    [J]. INFORMATION, 2021, 12 (02) : 1 - 31
  • [2] Criticality Analysis for Safety-Critical Systems Using FMEA
    Ahamad, Shakeel
    Gupta, Ratneshwer
    [J]. SMART SYSTEMS: INNOVATIONS IN COMPUTING (SSIC 2021), 2022, 235 : 229 - 235
  • [3] ON THE SAFETY ANALYSIS OF REQUIREMENTS SPECIFICATIONS FOR SAFETY-CRITICAL SOFTWARE
    SAEED, A
    DELEMOS, R
    ANDERSON, T
    [J]. ISA TRANSACTIONS, 1995, 34 (03) : 283 - 295
  • [4] Software FMEA for Safety-Critical System Based on Co-analysis of System Model and Software Model
    Li, Guoqi
    [J]. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2012, E95D (12): : 3101 - 3105
  • [5] SOFTWARE FMEA ANALYSIS FOR SAFETY SOFTWARE
    Park, Gee-Yong
    Kim, Dong H.
    Hur, Sup
    Lee, Dong Y.
    Kwon, Kee C.
    [J]. ICONE17, VOL 5, 2009, : 831 - 837
  • [6] Safety analysis of safety-critical software for nuclear digital protection system
    Park, Gee-Yong
    Lee, Jang-Soo
    Cheon, Se-Woo
    Kwon, Kee-Choon
    Jee, Eunkyoung
    Koh, Kwang Yong
    [J]. COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS, 2007, 4680 : 148 - +
  • [7] Efficiency analysis & safety assessment of automatic testing for safety-critical software
    Wu, FM
    Huang, L
    [J]. ATS 2003: 12TH ASIAN TEST SYMPOSIUM, PROCEEDINGS, 2003, : 106 - 109
  • [8] An Ontological Analysis of Safety-Critical Software and Its Anomalies
    Liu, Hezhen
    Jin, Zhi
    Zheng, Zheng
    Huang, Chengqiang
    Zhang, Xun
    [J]. 2022 IEEE 22ND INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY, QRS, 2022, : 311 - 320
  • [9] A tool for the design and analysis of software safety-critical systems
    Gill, JA
    Ferguson, F
    [J]. INFORMATION REUSE AND INTEGRATION, 2001, : 127 - 132
  • [10] Software reliability analysis for safety-critical and control systems
    Kumar, Pramod
    Singh, Lalit Kumar
    Kumar, Chiranjeev
    [J]. QUALITY AND RELIABILITY ENGINEERING INTERNATIONAL, 2020, 36 (01) : 340 - 353