search menu icon-carat-right cmu-wordmark

Safety-Critical Software: Status Report and Annotated Bibliography

Technical Report
The purpose of the report is to bring together concepts necessary for the development of software in safety-critical systems.
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.

Cite This Technical Report

Place, P., & Kang, K. (1993, June 1). Safety-Critical Software: Status Report and Annotated Bibliography. (Technical Report CMU/SEI-93-TR-005). Retrieved June 24, 2024, from https://insights.sei.cmu.edu/library/safety-critical-software-status-report-and-annotated-bibliography/.

@techreport{place_1993,
author={Place, Patrick and Kang, Kyo},
title={Safety-Critical Software: Status Report and Annotated Bibliography},
month={Jun},
year={1993},
number={CMU/SEI-93-TR-005},
howpublished={Carnegie Mellon University, Software Engineering Institute's Digital Library},
url={https://insights.sei.cmu.edu/library/safety-critical-software-status-report-and-annotated-bibliography/},
note={Accessed: 2024-Jun-24}
}

Place, Patrick, and Kyo Kang. "Safety-Critical Software: Status Report and Annotated Bibliography." (CMU/SEI-93-TR-005). Carnegie Mellon University, Software Engineering Institute's Digital Library. Software Engineering Institute, June 1, 1993. https://insights.sei.cmu.edu/library/safety-critical-software-status-report-and-annotated-bibliography/.

P. Place, and K. Kang, "Safety-Critical Software: Status Report and Annotated Bibliography," Carnegie Mellon University, Software Engineering Institute's Digital Library. Software Engineering Institute, Technical Report CMU/SEI-93-TR-005, 1-Jun-1993 [Online]. Available: https://insights.sei.cmu.edu/library/safety-critical-software-status-report-and-annotated-bibliography/. [Accessed: 24-Jun-2024].

Place, Patrick, and Kyo Kang. "Safety-Critical Software: Status Report and Annotated Bibliography." (Technical Report CMU/SEI-93-TR-005). Carnegie Mellon University, Software Engineering Institute's Digital Library, Software Engineering Institute, 1 Jun. 1993. https://insights.sei.cmu.edu/library/safety-critical-software-status-report-and-annotated-bibliography/. Accessed 24 Jun. 2024.

Place, Patrick; & Kang, Kyo. Safety-Critical Software: Status Report and Annotated Bibliography. CMU/SEI-93-TR-005. Software Engineering Institute. 1993. https://insights.sei.cmu.edu/library/safety-critical-software-status-report-and-annotated-bibliography/