Title :
A framework for designing safe software systems
Author :
Subramanian, Satish ; Vishnuvajjala, Ramakrishna V. ; Mojdehbakhsh, Ramin ; Tsai, W.T. ; Elliott, Lynn
Author_Institution :
Dept. of Comput. Sci., Minnesota Univ., Minneapolis, MN, USA
Abstract :
The paper describes a framework for designing safety-critical software systems, in the context of a software safety analysis process that is based on fault tree analysis. This software design process has four steps: 1) software design fault tree generation, 2) fault tree verification, 3) safe software design, and 4) design safety verification. Approaches to safe software design, and verification of the safe design against the safety requirements have also been presented
Keywords :
fault trees; formal verification; safety-critical software; software fault tolerance; design safety verification; fault tree analysis; fault tree verification; safe software design; safe software system design; safety requirements; safety-critical software system design; software design fault tree generation; software safety analysis process; Fault diagnosis; Fault trees; Pacemakers; Performance analysis; Process design; Software design; Software performance; Software safety; Software systems; System analysis and design;
Conference_Titel :
Computer Software and Applications Conference, 1995. COMPSAC 95. Proceedings., Nineteenth Annual International
Conference_Location :
Dallas, TX
Print_ISBN :
0-8186-7119-X
DOI :
10.1109/CMPSAC.1995.524808
