核级仪控平台软件失效验证研究与实践

作者：王晓燕; 裴红伟

来源：自动化仪表, 2021, S1: 101-111.

DOI：10.16086/j.cnki.issn1000-0380.2021030157

• 失效模式和影响分析
• 数据流
• 故障插入测试
• 失效模式库
• 硬件故障
• 功能异常
• 工作状态
• 工作约束

随着数字化的兴起，核电厂的数字化产品承担越来越多的功能，软件故障的频繁发生，对系统的安全运行产生危害增大，从而使人们逐渐认识到软件可靠性的重要性。由于软件具有抽象、无形等特点，软件可靠性验证成为软件验证难点。采用软件失效模式和影响分析(FMEA)方法，在核安全级产品的全生命周期验证中，系统性识别核安全级产品的安全薄弱环节，分析和测试处理措施合理性。同时，提出了从硬件故障、功能异常、工作约束等维度创建失效模式库，化解软件FMEA工作量大的问题。通过对核安全级产品执行软件FMEA分析和测试，促使安全设计以消除薄弱环节或使其影响减小，从而达到提高产品可靠性的目的。同时，该研究为软件可靠性验证提供有效验证手段。

• 单位
  北京广利核系统工程有限公司