Methodology of independent software nuclear safety analysis

Author

Addy, Edward A.

Author_Institution

Logicon, Inc., USA

fYear

1994

fDate

6-9 Nov 1994

Firstpage

76

Lastpage

83

Abstract

Independent software nuclear safety analysis provides a methodology to ensure that software does not cause or contribute to a violation of the nuclear safety standards established by the Department of Defense, and that nuclear safety-critical software is not adversely affected by interfacing software or by operator action. This methodology is a systematic approach to examine a specific aspect of software system safety in nuclear weapon systems. The paper describes the methodology of independent software nuclear safety analysis, and discusses its extension to other application areas

Keywords

military computing; nuclear engineering computing; nuclear explosions; safety-critical software; weapons; independent software nuclear safety analysis; nuclear safety standards; nuclear safety-critical software; nuclear weapon systems; software system safety; systematic approach; Accidents; Application software; Control systems; Military standards; Missiles; Nuclear measurements; Nuclear weapons; Software performance; Software safety; Software standards; Software systems; Standards development;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Reliability Engineering, 1994. Proceedings., 5th International Symposium on

Conference_Location

Monterey, CA

Print_ISBN

0-8186-6665-X

Type

conf

DOI

10.1109/ISSRE.1994.341356

Filename

341356