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