Infusing Reliability Techniques into Software Safety Analysis

被引：0

作者：

Shi, Ying ^{[1
]}

机构：

[1] NASA, Goddard Space Flight Ctr, Code 320-1, Greenbelt, MD 20771 USA

来源：

2015 61ST ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM (RAMS 2015) | 2015年

关键词：

Software Safety; FMEA; Hazard Analysis; FTA;

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

Software safety analysis for a large software intensive system is always a challenge. Software safety practitioners need to ensure that software related hazards are completely identified, controlled, and tracked. This paper discusses in detail how to incorporate the traditional reliability techniques into the entire software safety analysis process. In addition, this paper addresses how information can be effectively shared between the various practitioners involved in the software safety analyses. The author has successfully applied the approach to several aerospace applications. Examples are provided to illustrate the key steps of the proposed approach.

引用

页数：5

共 11 条

[1]

[Anonymous], IEEE, DOI DOI 10.1109/5.24143

[2]

Department of Defense Systems (DoD) Systems, 2012, MIL-STD-882E

[3]

DoD, 1992, DO178B DOD

[4] THE DYNAMIC FLOWGRAPH METHODOLOGY FOR ASSESSING THE DEPENDABILITY OF EMBEDDED SOFTWARE SYSTEMS [J].

GARRETT, CJ ;

GUARRO, SB ;

APOSTOLAKIS, GE .

IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS, 1995, 25 (05) :824-840

[5]

Hecht Herbert, 2004, RAMS

[6]

Joint Services Computer Resources Management Group U.S. Navy U.S. Army and the U.S. Air Force, 1999, SOFTW SYST SAF HDB T

[7]

Leveson N. G., 1995, Safeware: System Safety and Computers

[8]

NASA, 2009, NASANPR71502A

[9]

NASA, 2004, NASA SOFTW SAF GUID

[10]

NASA, 2013, 871913C NASASTD

← 1 2 →