Software Engineering Institute Carnegie Mellon

Safety-Critical Software: Status Report and Annotated Bibliography

P. Place
K. Kang

Technical Report
CMU/SEI-93-TR-005

PDF File

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.