Safety-Critical Software: Status Report and Annotated Bibliography

Many systems are deemed safety-critical and these systems are increasingly dependent on software. Much has been written in the literature with respect to system and software safety. This report summarizes some of that literature and outlines the development of safety-critical software. Techniques for hazard identification and analysis are discussed. Further, techniques for the development of safety-critical software are mentioned. A partly annotated bibliography of literature concludes the report.

View Complete Report

Authors

Patrick R. Place

Kyo C. Kang (Pohang University of Science and Technology)

This report is related to the following area(s) of work:

Performance and Dependability

Technical Report
CMU/SEI-93-TR-005
June 1993

For more information

Contact Us

info@sei.cmu.edu

412-268-5800