Therac-25事故

软件工程的经典案例，犹记得我大一刚入学就被用来分析。

事故来源于软件中的一个在特定情况特定操作顺序触发的罕见race condition。

此一事故突显了安全攸关系统使用软件控制的潜在危险性。