search menu icon-carat-right cmu-wordmark

Safety-Critical Software: Status Report and Annotated Bibliography

June 1993 Technical Report
Patrick R. Place, Kyo C. Kang (Pohang University of Science and Technology)

Publisher:

Software Engineering Institute

CMU/SEI Report Number

CMU/SEI-93-TR-005

Abstract

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.