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 language | English (US) |
|---|---|
| Title of host publication | Proceedings - IEEE Computer Society's International Computer Software & Applications Conference |
| Editors | Anon |
| Publisher | IEEE |
| Pages | 409-414 |
| Number of pages | 6 |
| State | Published - 1995 |
| Externally published | Yes |
| Event | Proceedings of the 19th Annual International Computer Software and Applications Conference COMPSAC '95 - Dallas, TX, USA Duration: Aug 9 1995 → Aug 11 1995 |
Other
| Other | Proceedings of the 19th Annual International Computer Software and Applications Conference COMPSAC '95 |
|---|---|
| City | Dallas, TX, USA |
| Period | 8/9/95 → 8/11/95 |
ASJC Scopus subject areas
- Engineering(all)