摘要：介绍了加拿大重水铀反应堆CANDU的安全关键软件的验证与确认（V＆V）技术,说明了CANDU核反应堆停堆系统的脱扣计算机及其设计方法,详细描述了用于停堆脱扣计算机软件的确认和可靠性V＆R测试的多功能测试平台,以及该测试平台在停堆脱扣计算机软件V＆R测试中的应用。V＆V技术已被成功地应用于各国CANDU核反应堆停堆系统的脱扣计算机设计中,如韩国的月城CANDU核反应堆、中国的秦山CANDU核反应堆、罗马尼亚Cernavda的2号CANDU核反应堆和加拿大Point Lepreau重建的CANDU核反应堆。随着计算机软硬件技术的发展,所描述的过程和工具在近期的项目中已得到了不断的改善。

关键词：安全关键软件 验证与确认 停堆系统 脱扣计算机 加拿大重水铀反应堆 

单位：