Framework for designing safe software systems

Satish Subramanian, Ramakrishna V. Vishnuvajjala, Ramin Mojdehbakhsh, W. T. Tsai, Lynn Elliot

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Scopus citations

Abstract

This 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.

Original languageEnglish (US)
Title of host publicationProceedings - IEEE Computer Society's International Computer Software & Applications Conference
Editors Anon
PublisherIEEE
Pages409-414
Number of pages6
StatePublished - 1995
Externally publishedYes
EventProceedings of the 19th Annual International Computer Software and Applications Conference COMPSAC '95 - Dallas, TX, USA
Duration: Aug 9 1995Aug 11 1995

Other

OtherProceedings of the 19th Annual International Computer Software and Applications Conference COMPSAC '95
CityDallas, TX, USA
Period8/9/958/11/95

ASJC Scopus subject areas

  • Engineering(all)

Fingerprint Dive into the research topics of 'Framework for designing safe software systems'. Together they form a unique fingerprint.

Cite this