核安全关键软件的验证与确认技术

摘要

介绍了加拿大重水铀反应堆CANDU的安全关键软件的验证与确认(V&V)技术,说明了CANDU核反应堆停堆系统的脱扣计算机及其设计方法,详细描述了用于停堆脱扣计算机软件的确认和可靠性V&R测试的多功能测试平台,以及该测试平台在停堆脱扣计算机软件V&R测试中的应用.V&V技术已被成功地应用于各国CANDU核反应堆停堆系统的脱扣计算机设计中,如韩国的月城CANDU核反应堆、中国的秦山CANDU核反应堆、罗马尼亚Cernavda的2号CANDU核反应堆和加拿大Point Lepreau重建的CANDU核反应堆.随着计算机软硬件技术的发展,所描述的过程和工具在近期的项目中已得到了不断的改善.%Techniques used in the verification and validation (V&V) of safety-critical software for CANDU reactors are described. The CANDU reactor shutdown system trip computers and their design approach are introduced and then the details for a versatile validation and reliability (V&R) test platform used for V&R testing of the trip computer software are given. Finally, the application of the V&R test platform in V&R testing of the trip computer software is proposed. The V&V technology has successfully been applied to the design of the shutdown system trip computers for Wolsong CANDU reactors in Korea, Qinshan CANDU reactors in China, Cernavoda CANDU reactor Unit 2 in Romania, and Point Lepreau CANDU reactor refurbishment in Canada. The processes and tool have been improved over successive projects to take advantage of recent developments in computer hardware and software.