浅析核安全级数字化仪控系统软件V&V的方法

Software V&V Methods for Safety Digital I&C System of Nuclear Power Plant

  • 摘要: 核安全级数字化仪控系统的软件验证与确认(V&V)的主要任务是查找任何可能存在的缺陷,评估软件潜在的风险与危害,并提供解决方案以确保和提高产品质量,其中软件V&V工具和方法的选择直接影响到V&V活动的成效。本文从核电站安全级数字化仪控系统的功能出发,针对已有堆型和新研制堆型两种不同对象的特点,提出其软件V&V的模型,分析相关的方法和工具,并总结软件V&V活动的关键因素。

     

    Abstract: The main tasks of software verification and validation (V&V) for the safety digital I&C system of nuclear power plant (NPP) are to inspect any possible defect, evaluate the potential risk and hazard of the software, and propose the feasible solution, by which the quality of product is guaranteed and improved. During the V&V life cycle process, the selected V&V tools and methods would have a direct impact on the effectiveness of V&V activities. In this paper, the software V&V models were proposed for two different types of NPPs including the new design ones and the reproduction design ones, from the viewpoint of functions of the safety digital I&C system of NPP. The key factors of the software V&V activities were summarized and the relevant methods and tools were analyzed.

     

/

返回文章
返回