Advanced Search

Content Type

Topics

Publication Date

Safety-Critical Software: Status Report and Annotated Bibliography

  • Author(s): ,
  • Publish Date:
  • Publisher: Software Engineering Institute
  • SEI Identifier: CMU/SEI-93-TR-005
  • Type: Technical Report
  • Topics: Performance and Dependability
  • Description: 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.

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.

Cite This Report

Show Citation Formats

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 August 27, 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