Therac-25案例
Therac-25事件是在软体工程界被大量引用的案例。Therac-25是加拿大原子能有限公司（AECL）所生产的放射线疗法机器，在Therac-6和Therac-20之后推出（以往的Therac-6和Therac-20是加拿大原子能有限公司和法国的CGL公司合作开发）。在1985年到1987年之间，在美国及加拿大至少有六起和Therac-25相关的医疗事故，因为软体设计时的瑕疵，使病人受到了过量的辐射[1]:425。软体的瑕疵是因为竞争危害（二个同时进行程式之间时序冲突造成的问题），有瑕疵时会使病患接受到比正常剂量高一百倍的辐射，因此造成患者死亡或重伤[2]。
此一事故突显了安全关键系统若使用软体控制时的潜在危险性，也是软体工程及医学信息学的经典案例。另外因为工程师的过度自信[1]:428，而且没有进行适当的尽职调查来修复已知的软体问题，这也是一个极端的例子，工程师因为对其初期的工程过度自信，没有相信终端用户提出的问题，最后产生了严重的结果。Therac-25事件后，软体开发工程化管理方法论开始得到重视。
设计
Therac-25可以进行二种放射线疗法：
若是要进行直接电子束疗法，设备会直接产生低能量的电子束，利用电磁铁扫描方式让电子束分散到安全的剂量范围。若是要进行百万伏特级X射线疗法，设备会转动四个零件调整电子束的路径，使电子束进入X射线腔中，而X射线腔也有设备会侦测电子束的强度。
问题描述
此事件发生时，所发射的是高能量的电子束，而不是预期的低能量电子束，而且设备对应的零件没有让电子束进入X射线腔中。以前的机种有硬体互锁机制以避免这种情形发生，而Therac-25取消了硬体互锁机制，为了安全起见改用软体的互锁机制。软体互锁机制在有竞争危害时会失效。其缺陷如下：有一个测试程序中一位元组的计数器常常会溢位，若操作员恰好在计数器溢位时输入命令，软体互锁机制会失效[2]。
高能量的电子束给予的能量是理想辐射剂量的100倍，是可能会造成β辐射的致命剂量。患者Ray Cox描述其感觉像“强烈的电击”，他因此尖叫跑出诊疗室[3]。几天后病人开始出现辐射灼伤，病人也开始出现辐射过量的症状，其中有三个病患后来因为辐射过量而死亡[4]。
根本原因
调查委员会调查后的结论是此一系列事故的主因是不良的软体设计及开发实务，没有明确的将主因归因到所找到的软体编程错误。而软体的设计方式也让软体在实务上不可能以自动化测试进行测试[5]。
研究这系列事故的研究者发现了几个造成此事件的主因，包括了以下的组织层面原因：
- AECL没有将程式码由第三方来进行审查。
- AECL在软体设计评估时，没有考虑设备产生预期结果的方式，以及会有哪些已知的失效模式，这些形成了可靠度建模及风险管理的通用技巧。
- 系统在运作时，有发现有元件异常，中止了X光束，但是其显示只显示了"MALFUNCTION"（机能异常），后面配合了1到64的数字，而使用手册没有说明这些异常讯息，甚至连讯息都没有列出。因此操作员按了P键，跳过了警告讯息，继续运作。
- AECL的人员，以及机器的操作者一开始不相信使用者的抱怨，这可能是因为过度的自信[1]:428。
- AECL在到医院组装Therac-25设备之前，完全没有将软体及硬体一起组合测试。
研究者也发现一些工程方面的原因：
- 设备中有一个VT-100终端机（控制PDP-11电脑），此错误只有在操作员在终端机键盘上输出二个不常输入的按键组合后才会出现，先输入X选择（错误的）25 MeV X光模式，之后输入E，选择（正确的）25 MeV 电子模式，之后输入Enter，三个按键组合在8秒钟内完成[5]，上述的按键组合看起来很少会按到，因此这个问题也不是很常出现，长期没有被重视[3]。
- 设计上没有加入硬体互锁机制避免电子束运作在高能量模式，而且没有对应X光腔。
- 工程师复用了以前旧机种的代码，旧机种有硬体互锁机制，因此软体上的问题没有造成失效。硬体的互锁机制也没有产生对应报告，说明互锁曾被触发，因此没有办法看出存在错误的软体指令。
- 硬体没有提供软体对应方式来确认感测器是否有正常工作（参考开回路控制器）。X光腔和X光转向系统是首先造成此失效的原因。制造商曾建议增加冗馀的开关来交互检查其状态及运作。
- 设备的控制行程没有和操作员介面的行程建立互斥锁，因此若操作员设定的太快，就有可能有竞争危害。这部份在测试时没有测到，因为操作员需要一段时间熟悉相关操作，才能输入的够快，触发此一失效模式。
- 软体中有设定旗标变数，但是有变化时会让变数加1，而不是将其设定为固定的非零值，因此偶尔会出现算术溢位，让旗标变数变为0，软体就会跳过安全相关的检查。
此软体是用组合语言撰写，因此在软件的设计和测试时需要耗费更多精力。不过语言选择本身没有列为事故的主要原因。设备也使用其自己的作业系统。
Leveson指出此事件的一个重大教训就是不可以假设复用的软体就一定安全： “有一个天真的假设，就是认为软体复用以及用现有的商业软体可以增加安全性，因为要使用的软体已经频繁使用过。复用的软体模组无法保证在配合新系统使用时的安全性...”[5]。为了因应像Therac-25这类的事件，创立了IEC 62304标准，导入了针对医疗设备的开发生命周期标准，而且也有针对使用未知谱系的软件时的特定建议作法[6]。
参见
参考资料
- ^ 1.0 1.1 1.2 Baase, Sara. A Gift of Fire. Pearson Prentice Hall. 2008.
- ^ 2.0 2.1 Leveson, Nancy G.; Turner, Clark S. An Investigation of the Therac-25 Accidents (PDF). IEEE Computer. July 1993, 26 (7): 18–41 [2017-03-25]. （原始内容存档 (PDF)于2004-11-28）.
- ^ 3.0 3.1 Casey, Steven. Set Phasers On Stun - Design and Human Error. Aegean Publishing Company. : 11–16.
- ^ Rose, Barbara Wade. Fatal Dose - Radiation Deaths linked to AECL Computer Errors. www.ccnr.org. [2016-06-14]. （原始内容存档于2018-01-06）.
- ^ 5.0 5.1 5.2 Nancy G. Leveson, University of Washington. Medical Devices: The Therac-25 Accidents (PDF). Safeware: System Safety, and Computers Update of the 1993 IEEE Computer article (Addison-Wesley). 1995 [2017-03-25]. （原始内容 (PDF)存档于2008-02-16）.
- ^ Hall, Ken. Developing Medical Device Software to IEC 62304. MDDI - Medical Device and Diagnostic Industry. June 1, 2010 [2016-12-12]. （原始内容存档于2016-11-12）.
延伸阅读
- Gallagher, Troy. THERAC-25 Computerized Radiation Therapy. [2017-03-25]. （原始内容存档于2007-12-12）. (short summary of the Therac-25 Accidents)