Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Javascript is currently disabled for your browser. For an optimal search experience, please enable javascript.

Advanced Search

Basic Search

Content Type

Topics

Publication Date

Technical Report

Safety-Critical Software: Status Report and Annotated Bibliography

  • 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.

  • Download

Cite This Report

SEI

Place, Patrick; & Kang, Kyo. Safety-Critical Software: Status Report and Annotated Bibliography (CMU/SEI-93-TR-005 ). Software Engineering Institute, Carnegie Mellon University, 1993. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=11841

IEEE

Place. Patrick, and Kang. Kyo, "Safety-Critical Software: Status Report and Annotated Bibliography," Software Engineering Institute, Carnegie Mellon University, Pittsburgh, Pennsylvania, Technical Report CMU/SEI-93-TR-005 , 1993. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=11841

APA

Place, Patrick., & Kang, Kyo. (1993). Safety-Critical Software: Status Report and Annotated Bibliography (CMU/SEI-93-TR-005 ). Retrieved December 22, 2014, from the Software Engineering Institute, Carnegie Mellon University website: http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=11841

CHI

Patrick Place, & Kyo Kang. Safety-Critical Software: Status Report and Annotated Bibliography (CMU/SEI-93-TR-005 ). Pittsburgh, PA: Software Engineering Institute, Carnegie Mellon University, 1993. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=11841

MLA

Place, Patrick., & Kang, Kyo. 1993. Safety-Critical Software: Status Report and Annotated Bibliography (Technical Report CMU/SEI-93-TR-005 ). Pittsburgh: Software Engineering Institute, Carnegie Mellon University. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=11841