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

Research and Practice on Software Failure Verification of Nuclear Instrument Control Platform

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

With the rise of digitization,the digital products of nuclear power plants assume more and more functions,and the frequent occurrence of software failures increases the harm to the safe operation of the system,so that people gradually realize the importance of software reliability.Because of the abstractand intangible characteristics of software,software reliability verification has become a difficult point.The software failure mode and impact analysis(FMEA)method is adopted to systematically identify the safety weaknesses of nuclear safety products in the whole life cycle verification of nuclear safety products,analyze and test the rationality of treatment measures.At the same time,the failure mode library is created from the dimensions of hardware fault,abnormal function and work constraint to solve the problem of heavy workload of software FMEA.Perform software FMEA analysing and testing for nuclear safety grade products,promote safety design to eliminate weak links or reduce their impact,so as to achieve the purpose of improving product reliability.At the same time,this study provides an effective method for software reliability verification.