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

• 作者: 王勇 王灵芝 许张后
• 来源期刊: 长春师范大学学报
• 学科: 工学
• 关键词: 托卡马克 安全关键仪控系统 安全联锁系统 软件验证与确认
• 年，卷（期）: ccsfdxxb_2018,（4）
• 页码范围: 10-14
• 页数: 5页
• 分类号: TL69

摘要

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