安全级软件V&V活动流程的探讨  

Discussion on V&V Activity Flow of Safety Software

作　　者：何鹏[1] 杨戴博[1] 朱加良 李红霞[1] 余俊辉[1] 朱毖微[1] 

机构地区：[1]中国核动力研究设计院核反应堆系统设计技术重点实验室,成都610213

出　　处：《核动力工程》2016年第6期90-93,共4页Nuclear Power Engineering

摘　　要：为了确保核电厂数字化系统中安全级软件的质量,有必要对这些软件开展完善的验证和确认(V&V)活动。在国内外标准体系的指导下,建立合乎标准要求的V&V活动流程,并开展一系列严格和完整的V&V活动,是当前较为可行的提高软件质量的手段。本文以HAD102/16-2004和IEEE 1012-2004为依据,详细探讨了安全级软件开发过程的V&V流程,并对V&V活动中一些重要问题进行了讨论,以期为安全级软件的V&V活动开展提供一定的借鉴。In order to insure the quality of safety software of the digital system inside the nuclear power plant, the thorough V＆V activities need to be performed on the safety software. According to the standard systems at home and abroad, establishing the V＆V activity flow which satisfies the standard requirements, and performing a series of strict and complete V＆V activities, is a more viable way to improve the software quality. Based on IEEE 1012-2004, this paper discussed in detail the V＆V flow in the development process of safety software, and analyzed the key problems during the V＆V activities, so as to provide reference to the development of V＆V activities for safety software.

关 键 词：安全级软件 V&V 标准体系 追踪分析 人因故障 

分 类 号：TL363[核科学技术—核技术及应用]