An approach to software safety analysis in a distributed real-time system

Author

Shebalin, Paul V. ; Son, Sang H. ; Chang, Chun-Hyon

Author_Institution

ORI Inc., Fredericksburg, VA, USA

fYear

1988

fDate

June 27 1988-July 1 1988

Firstpage

29

Lastpage

43

Abstract

A software safety analysis approach for distributed systems, based on a technique called component-message fault analysis, is presented. This technique checks the safety-critical logic, using the safety specification for different categories of component fault events, to uncover ambiguous safety requirements or design deficiencies. To demonstrate the power of this technique, a dual-purpose missile system is introduced and analyzed with regard to its software safety requirements.<>

Keywords

failure analysis; military computing; missiles; multiprocessing systems; real-time systems; safety; software reliability; CMFA; DPMS; ambiguous safety requirements; component fault events; component-message fault analysis; design deficiencies; distributed real-time system; dual-purpose missile system; fault tree analysis; safety specification; safety-critical logic; software safety analysis approach; software safety requirements; Application software; Computer science; Control systems; Distributed computing; Logic design; Missiles; Real time systems; Safety devices; Software safety; Software systems;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Assurance, 1988. COMPASS '88

Conference_Location

Gaithersburg, MD, USA

Type

conf

DOI

10.1109/CMPASS.1988.9635

Filename

9635