第32卷
增刊2
2012年
12月
核科学与工程
Nuclear Science and Engineering
Vol.32Suppl.2
Dec.
2012
数字化核安全级仪控系统软件的验证与确认
张亚栋，左新，尹宝娟，程建明（北京广利核系统工程有限公司，北京100094）
摘要：本文讨论了核安全级软件验证与确认的方法论。详细描述了在数字化核安全级仪控系统研发过程中V&V活动的具体实施过程，此外还介绍了为开展可信的验证与确认活动的所制定的V&V流程与规范.构建的各种V&V平台及采用的V&V关键技术等。
关键调：核安全级软件；验证与确认；V&V流程；V&V平台；V&V技术
中图分类号：TM623
文章标志码：B
文章编号：0258-0918(2012)S2-0227-05
Verification and Validation of Nuclear Safety Digital
I&CSystemSoftware
ZHANG Ya-dong,ZUO Xin,YIN Bao-juan,CHENG Jian-ming
(China Techenergy Co. , Ltd. , Bejing 100094, China)
Abstract: This paper discusses the verification and validation (V&.V) methodology for nuclear safety software. The author describes V&.V process during the development of nuclear safety digital I&.C system in detail, and introduces the V&.V program and specification established to ensure the confidence of V&.V activity, as well as various V&.V platforms and V&.V critical technologies, ,etc.
Keywords:nuclear safety softwareV&V,V&.Vprocess;V&.Vplatform V&.V technique
仪控系统是核电厂的中枢神经，是确保核电厂安全可靠运行的重要装备。目前，核电厂仪控系统正从模拟系统向数字化系统过渡，两者之间主要的差别在于软件的引人。为了达到数字化仪控系统，尤其是软件的高可信度，必须对软件执行严格的、贯穿软件全生命周期的验证与确认（Verification&Validation，简称 V&V)活动。
收稿日期：2012-09-22；修回日期：2012-10-22
1
V&V方法论概述
1V&V标准的解读 1.1
由于反应堆保护系统直接影响核电厂的安全，因此其全部设计和制造活动（包含V&V活动)均必须严格遵循国家的各项核安全法规、导则及标准。在核安全法规HAF1022004中明确提出了需开展验证与确认活动。在核安全
作者第介：张要栋（1975
），男，薪贯山西人，计算机成用硕北，现主要从事于数字化核安全级款件的验证与确认工作
227