Title :
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
fDate :
June 27 1988-July 1 1988
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;
Conference_Titel :
Computer Assurance, 1988. COMPASS '88
Conference_Location :
Gaithersburg, MD, USA
DOI :
10.1109/CMPASS.1988.9635
