EFFECTIVE SOFTWARE VERIFICATION AND VALIDATION APPROACH FOR NUCLEAR POWER PLANT DIGITAL INSTRUMENTATION AND CONTROL SYSTEMS
All 1000 MW nuclear power plants currently in construction or projected to-be-built in China will use the digital instrumentation and control (I&C) systems. Safety and reliability are the ultimate concern for the digital I&C systems. To obtain high confidence in the safety of digital I&C systems, rigorous software verification and validation (V&V) life-cycle methodologies are necessary. The V&V life-cycle process ensures that the requirements of the system and software are correct, complete, and traceable; that the requirements at the end of each life-cycle phase fulfill the requirements imposed by the previous phase; and the final product meets the user-specified requirements. The V&V process is best illustrated via the so-called V-model. This paper describes the V-model in detail by some examples. Through the examples demonstration, it is shown that the process detailed in the V-model is consistent with the IEEE Std 1012-1998, which is endorsed by the US Regulatory Guide 1.168-2004. The examples show that the V-model process detailed in this paper provides an effective V&V approach for digital I&C systems used in nuclear power plants. Additionally, in order to obtain a qualitative mathematical description of the V-model, we study its topological structure in graph theory. This study confirms the rationality of the V-model. Finally, the V&V approach affording protection against common-cause failure from design deficiencies, and manufacturing errors is explored. We conclude that rigorous V&V activities using the V-model are creditable in reducing the risk of common-cause failures.
Steve Yang Jun Ding Huifang Miao Jianxiang Zheng
I & C Engineering,AREVA NP Inc., 30004, USA School of Energy Research,Xiamen University, Xiamen Fujian 361005, China
国际会议
18th International Conference on Nuclear Engineering(第18届国际核能工程大会 ICONE 18)
西安
英文
1-7
2010-05-17（万方平台首次上网日期，不代表论文的发表时间）