Safety-Critical Software: Status Report and Annotated Bibliography
• Technical Report
Publisher
Software Engineering Institute
CMU/SEI Report Number
CMU/SEI-93-TR-005Topic or Tag
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 December 22, 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-Dec-22}
}
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: 22-Dec-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 22 Dec. 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/