托卡马克安全关键仪控系统的软件验证与确认

Software Verification and Validation of Tokamak Safety-critical Instrumentation and Control System

软件验证与确认(V&V)是软件质量控制的有效方法,是提高托卡马克安全关键仪控(I&C)系统可靠性和可信度的重要手段。本文在深入研究ITER PCDH和现行国际标准的基础之上,明确托卡马克安全关键仪控系统开发必须遵守的标准条款。以EAST托卡马克安全联锁系统为实例,通过执行第三方独立软件V&V提高了软件质量,并详细阐述了各阶段的V&V过程。研究结果表明,托卡马克联锁系统和保护系统等安全关键仪控系统的工程技术开发与核安全许可提供了必要的前期技术基础。

Software Verification and Validation(V&V)is an effective method for software quality control and is an important means to improve the reliability and credibility of Tokamak safety-critical instrumentation and control(I&C)systems.Based on the study of ITER PCDH and the active international standards,the project clear the related international standard terms which the Tokamak safety-critical I&C systems have to comply.The project employed the EAST safety interlock system as an example,and performed the independent third party software V&V to improve software quality.The detail V&V process for each phase is presented.The results of this project provide the necessary pre-technical basis for the engineering development and nuclear safety license of the Tokamak safety critical instrumentation and control systems,e.g.the interlock system and the safety system.