A Framework for Designing Safe Software Systems

Authors:
Affiliations:
Venue:
COMPSAC '95 Proceedings of the 19th International Computer Software and Applications Conference
Year:
1995

Citing 0
Cited 2

From Safety Analysis to Software Requirements

IEEE Transactions on Software Engineering
Software Asset Management and Domain Engineering

COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference

Quantified Score

Hi-index	0.01

Visualization

Abstract

This paper describes a framework for designing safety-critical 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 has also been presented.