数字化核安全级仪控系统软件的验证与确认

摘要：

本文讨论了核安全级软件验证与确认的方法论。详细描述了在数字化核安全级仪控系 统研发过程中V&V 活动的具体实施过程，此外还介绍了为开展可信的验证与确认活动的所 制定的V&V 流程与规范、构建的各种V&V 平台及采用的V&V 关键技术等。

关键词： 核安全级软件 验证与确认 V&V流程 V&V平台 V&V技术

作者: 张亚栋

作者单位: 北京广利核系统工程有限公司,北京市海淀区永丰路5号,10094

会议类型: 国内会议

会议名称: 第一届中国(国际)核电仪控技术大会

会议地点: 北京

会议语种:中文

页码: 624-629

在线出版日期: 2011-05-26（万方平台首次上网日期，不代表论文的发表时间）