Nancy G. Leveson & Clark S. Turner (1993)
Computer, 26(7), 18-41.
DOI: https://doi.org/10.1109/MC.1993.274940
Abstract. Leveson and Turner's foundational analysis of the Therac-25 radiation-therapy machine accidents — software-induced radiation overdoses, race conditions, and lessons for safety-critical software engineering. The reference cited as the canonical software-safety-failure case study.
Tags: aviation software-safety case-study foundational