近年来,软件工具在新型反应堆设计、开发以及现有反应堆升级和运行中的应用不断增加。总体而言,如果软件工具设计精良、开发细致、测试严格且使用得当,则其使用效率比传统开发流程更高,并且可能比手动工程流程产生更少的故障。但是,自动化工具或工具辅助工程活动中未检测到的故障可能会对核安全造成严重风险。对于核工业的所有利益相关者(包括设备供应商、公用事业许可证持有者和政府监管机构)而言,拥有良好的流程和一致的方法来评估软件工具在核安全系统中使用的安全性非常重要。但是,目前美国核工业中还没有针对软件工具资格或认证的具体、详细的标准和普遍接受的做法。
图 1. 每个控制器都包含一个受控过程的模型 2. 安全控制结构示例 3. 图 2 中操作过程的安全控制结构示例 4. 列车门控制器的简单安全控制回路 5. 不安全控制行为的结构 6. 导致危险的因果因素分类 7. 压水反应堆 8. 高级 PWR 安全控制结构 9. MSIV 的安全控制结构 10. 导致操作员不安全控制行为的因果因素 11. 导致操作员控制行为不被遵循的因果因素 12. 导致 DAS 不安全控制行为的因果因素 13. 导致 DAS 控制行为不被遵循的因果因素 14. 导致 PS 不安全控制行为的因果因素 15. 导致 PS 控制行为不被遵循的因果因素 表格 1. 事故和危险示例2. 简单列车门控制器的不安全控制动作 3. 所提供类型的示例上下文表 4. 未提供类型的示例上下文表 5. 系统级事故 6. 系统级危险 7. 关闭 MSIV 的不安全控制动作 8. 操作员提供关闭 MSIV 控制动作的上下文表 9. 未提供关闭 MSIV 的上下文表 10. 安全约束