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

fYear

1995

fDate

9-11 Aug 1995

Firstpage

409

Lastpage

414

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Software and Applications Conference, 1995. COMPSAC 95. Proceedings., Nineteenth Annual International

Conference_Location

Dallas, TX

ISSN

0730-3157

Print_ISBN

0-8186-7119-X

Type

conf

DOI

10.1109/CMPSAC.1995.524808

Filename

524808