驱动之家 前天
40年前的全球首个致命软件Bug:至少三人因100倍强辐射身亡
index_new5.html
../../../zaker_core/zaker_tpl_static/wap/tpl_guoji1.html

 

快科技 9 月 22 日的,软件 Bug 虽然会造成许多不便,但好在几乎不会致命,但在 40 年前的 1985 年,一款名为 Therac-25 的放射治疗机,就出现了通常被认为是世界上第一个致命的软件 Bug。

这款机器因软件中的一个 Bug 引发了致命的竞态条件,导致至少六人遭受了辐射剂量高达正常值 100 倍的照射,其中三人因此丧生。

Therac-25 刚推出时,因其将两种治疗模式集于一身而备受医疗机构青睐,它既能用于电子束疗法治疗浅层组织问题,如皮肤癌;也能用高电流电子束进行兆伏 X 射线疗法,针对深层组织问题,然而这两种模式一旦混淆,后果不堪设想。

该机器的一个创新之处在于采用纯软件控制,而早期机器则有电磁机械硬件联锁装置来防止此类辐射事故,例如 Therac-20 虽与 Therac-25 有共同的 Bug,但其硬件会在软件故障时阻止不安全操作。

据加州公立大学计算机科学硕士生安妮 · 玛丽 · 波雷洛发表的论文,这一致命漏洞在六起已知事故中均有体现。

通常情况下操作员误选了错误的模式后迅速试图纠正,经验丰富的操作员修改治疗参数速度过快,从而导致 Bug 的出现。

关键在于,Therac-25 改变辐射束模式需要约 8 秒,而操作员在这一时间窗口内的快速输入会混淆软件。

首起事故发生在 1985 年 6 月,最后一起在 1987 年 1 月,制造商 AECL 最初拒绝承认系统存在过错,直到 1986 年春才开始彻底调查,此时美国 FDA 也已介入。

Therac-25 的悲剧引发了对所有医疗软件进行形式验证、严格测试和改善文档的呼声,如今它已成为计算机科学领域常被提及的警示案例。

宙世代

宙世代

ZAKER旗下Web3.0元宇宙平台

一起剪

一起剪

ZAKER旗下免费视频剪辑工具

相关标签

事故 计算机 美国 大学 医疗
相关文章
评论
没有更多评论了
取消

登录后才可以发布评论哦

打开小程序可以发布评论哦

12 我来说两句…
打开 ZAKER 参与讨论