摘要
软件验证与确认(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.
作者
王灵芝
王勇
许张后
WANG Ling-zhi;WANG Yong;XU Zhang-hou(College of Physics and Information Engineering,Minnan Normal University,Zhangzhou Fujian 363000,China;Institute of Plasma Physics,Chinese Academy of Sciences,Hefei Anhui 230031,China)
出处
《长春师范大学学报》
2018年第4期10-14,20,共6页
Journal of Changchun Normal University
基金
福建省中青年教师教育科研项目"稀疏时频分析算法及其在异常频谱监测的应用"(JAT170352)
闽南师范大学教改项目"基于开源Arduino与App Inventor的创客教育校企合作课程建设"(JG201705)
关键词
托卡马克
安全关键仪控系统
安全联锁系统
软件验证与确认
Tokamak
safety-critical instrumentation and control
safety interlock system
software verification and validation
作者简介
王灵芝(1981-),女,讲师,硕士研究生,从事安全关键嵌入式系统开发研究。
