Software FMEA for Safety-Critical System Based on Co-analysis of System Model and Software Model

被引：1
|
作者：
Li, Guoqi [1 ]
机构：
[1] Beihang Univ, Fac Sch Reliabil & Syst Engn, Beijing, Peoples R China
来源：
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS | 2012年 / E95D卷 / 12期
关键词：
Software FMEA; safety critical system; co-analysis;
D O I：
10.1587/transinf.E95.D.3101
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Software FMEA is valuable and practically used for embedded software of safety-critical systems. In this paper, a novel method for Software FMEA is presented based on co-analysis of system model and software model. The method is hopeful to detect quantitative and dynamic effects by a targeted software failure. A typical application of the method is provided to illustrate the procedure and the applicable scenarios. In addition, a pattern is refined from the application for further reuse.
引用
收藏
页码：3101 / 3105
页数：5
相关论文
共 50 条
  • [1] A software diversity model for embedded safety-critical system
    Wang, Haifeng
    Liang, Nan
    [J]. PROCEEDINGS OF THE 2009 INTERNATIONAL CONFERENCE ON WIRELESS NETWORKS AND INFORMATION SYSTEMS, 2009, : 106 - 109
  • [2] Software Qualification Approach for Safety-Critical Software of the Embedded System
    Kim, Jangyeol
    Kim, Soongohn
    [J]. COMPUTER APPLICATIONS FOR COMMUNICATION, NETWORKING, AND DIGITAL CONTENTS, 2012, 350 : 175 - +
  • [3] 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 - +
  • [4] A model for the co-analysis of hardware and software architectures
    Rose, F
    Carpenter, T
    Kumar, S
    Shackleton, J
    Steeves, T
    [J]. FOURTH INTERNATIONAL WORKSHOP ON HARDWARE/SOFTWARE CO-DESIGN (CODES/CASHE '96), PROCEEDINGS, 1996, : 94 - 103
  • [5] A Combined Analysis Method of FMEA and FTA for Improving The Safety Analysis Quality of Safety-Critical Software
    Han, Xiangyu
    Zhang, Jun
    [J]. 2013 IEEE INTERNATIONAL CONFERENCE ON GRANULAR COMPUTING (GRC), 2013, : 353 - 356
  • [6] Model-Checking of Safety-Critical Software for Avionics
    Cofer, Darren
    Whalen, Michael
    Miller, Steven
    [J]. ERCIM NEWS, 2008, (75): : 15 - 16
  • [7] Designing a B Model for safety-critical software systems
    Taouil-Traverson, S
    Vignes, S
    [J]. B'98: RECENT ADVANCES IN THE DEVELOPMENT AND USE OF THE B METHOD, 1998, 1393 : 210 - 225
  • [8] Ensuring system and software reliability in safety-critical systems
    Tsai, WT
    Mojdehbakhsh, R
    Zhu, F
    [J]. 1998 IEEE WORKSHOP ON APPLICATION-SPECIFIC SOFTWARE ENGINEERING AND TECHNOLOGY (ASSET 98) - PROCEEDINGS, 1998, : 48 - 53
  • [9] Dependability assessment of safety-critical system software by static analysis methods
    Nguyen, T
    Ourghanlian, A
    [J]. 2003 INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS, 2003, : 75 - 79
  • [10] An Approach for automated safety testing of safety-critical software system based on safety requirements
    Yu, Gang
    Xu, Zhong Wei
    Du, Jun Wei
    [J]. 2009 INTERNATIONAL FORUM ON INFORMATION TECHNOLOGY AND APPLICATIONS, VOL 3, PROCEEDINGS, 2009, : 166 - 169
12345