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

王灵芝; 王勇; 许张后

首页> 中文期刊> 《长春师范学院学报（自然科学版）》 >托卡马克安全关键仪控系统的软件验证与确认

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

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《长春师范学院学报（自然科学版）》 |2018年第2期|10-1420|共5页
作者
王灵芝; 王勇; 许张后;
展开▼
作者单位

闽南师范大学;

中国科学院等离子体物理研究所;

展开▼
原文格式 PDF
正文语种 chi
中图分类热核反应堆安全与环境;
关键词
托卡马克; 安全关键仪控系统; 安全联锁系统; 软件验证与确认;

相似文献

中文文献
外文文献
专利

1. 托卡马克安全关键仪控系统的软件验证与确认 [J] . 王灵芝1 ,王勇2 ,许张后2 . 长春师范大学学报 . 2018,第004期
2. 核反应堆仪控系统软件验证与确认过程研究 [J] . 肖安洪 ,杨大为 ,曾辉 . 机械设计与制造工程 . 2015,第005期
3. 数字化核安全级仪控系统软件的验证与确认 [J] . 张亚栋 ,左新 ,尹宝娟 . 核科学与工程 . 2012,第S2期
4. 核安全关键软件的验证与确认技术 [J] . 杨亮 ,任伍杰 . 计算机光盘软件与应用 . 2013,第016期
5. 核安全关键软件的验证与确认技术 [J] . 孟雪梅 . 科技传播 . 2013,第022期
6. 核电仪控系统软件验证与确认过程中的专项分析研究 [C] . 刘景宾 . 环境保护部核与辐射安全中心第六届学术交流会 . 2016
7. 安全级软件验证与确认中测试技术研究 [A] . 高超 . 2010

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

摘要

著录项

相似文献

相关主题

期刊订阅