Safety Analysis of Ada Programs Using Fault Trees
- 1 December 1983
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Reliability
- Vol. R-32 (5) , 479-484
- https://doi.org/10.1109/tr.1983.5221736
Abstract
Software is increasingly being used in the control of potentially hazardous systems. Software fault-tree analysis is a technique for analyzing the logic of software for any potential contribution to system mishaps. The technique is described using Ada as an example real-time language. Special consideration is given to the problems of concurrency and real-time constraints which are common in these types of applications.Keywords
This publication has 6 references indexed in Scilit:
- Analyzing Software SafetyIEEE Transactions on Software Engineering, 1983
- A general-purpose algorithm for analyzing concurrent programsCommunications of the ACM, 1983
- Software Reliability—Status and PerspectivesIEEE Transactions on Software Engineering, 1982
- Reference Manual for the Ada Programming Language. Proposed Standard DocumentPublished by Defense Technical Information Center (DTIC) ,1980
- How to Measure Software Reliability and How Not ToIEEE Transactions on Reliability, 1979
- An axiomatic basis for computer programmingCommunications of the ACM, 1969