A framework for designing safe software systems
S. Subramanian, Ramakrishna V. Vishnuvajjala, RAMIN MOJDEHBAKHSH, Wei‐Tek Tsai, L. Elliott · 2002
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.