Therac-25

Therac-25 là một máy xạ trị được công ty Năng lượng nguyên tử của Canada Limited (AECL) sản xuất vào năm 1982 sau các sản phẩm Therac-6 và Therac-20 (các sản phẩm trước đó đã được sản xuất trong quan hệ đối tác với CGR của Pháp).Máy xạ trị này có liên quan đến ít nhất sáu vụ tai nạn từ năm 1985 đến 1987, trong đó bệnh nhân được dùng quá liều bức xạ.[1]:425 Vì lỗi lập trình đồng thời, đôi khi nó cho bệnh nhân liều bức xạ cao gấp hàng trăm lần bình thường, dẫn đến tử vong hoặc thương tích nghiêm trọng.[2] Những tai nạn này nhấn mạnh sự nguy hiểm của việc kiểm soát phần mềm của các hệ thống an toàn quan trọng, và chúng đã trở thành một nghiên cứu điển hình trong lĩnh vực tin học và công nghệ phần mềm. Ngoài ra sự quá tự tin của các kỹ sư[1]:428 và thiếu khả năng giải quyết các lỗi phần mềm được báo cáo, được nhấn mạnh như một trường hợp cực đoan mà các kỹ sư quá tự tin trong công việc ban đầu của họ và không tin rằng các tuyên bố của người dùng cuối gây ra hậu quả căng thẳng.