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

《核安全关键软件的验证与确认技术.pdf》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、核安全关键软件的验证与确认技术ZhaoMinda(赵敏达)，等核安全关键软件的验证与确认技术NuclearSafety—criticalSoftwareV&VTechnologyZhaoMinda(赵敌递)BaxterJohn(AtomicEnergyofCanadaLimited，OntarioLSK1B2，Canada)摘要：介绍了加拿大重水铀反应堆CANDU的安全关键软件的验证与确认(V&V)技术，说明了CANDU核反应堆停堆系统的脱扣计算机及其设计方法，详细描述了用于停堆脱扣计算机软件的确认和可靠性V&R测试的多功能测试平台，

2、以及该测试平台在停堆脱扣计算机软件V&R测试中的应用。V&V技术已被成功地应用于各国CANDU核反应堆停堆系统的脱扣计算机设计中，如韩国的月城CANDU核反应堆、中国的秦山CANDU核反应堆、罗马尼亚Cemavda的2号CANDU核反应堆和加拿大PointLepreau重建的CANDU核反应堆。随着计算机软硬件技术的发展，所描述的过程和工具在近期的项目中已得到了不断的改善。关键词：安全关键软件验证与确认停堆系统脱扣计算机加拿大重水铀反应堆中图分类号：TL364文献标志码：AAbstract：Techniquesusedinthever

3、ificationandvalidation(V&V)ofsafety—criticalsoftwareforCANDUreactorsaredescribed．TheCANDUreactorshutdownsystemtripcomputersandtheirdesignapproach玳introducedandthenthedetailsforaversatilevalidationandreliability(V&R)testplatformusedforV&Rtestingofthetripcomputersoftwarea

4、regiven．Finally。theapplicationoftheV&RtestplatforminV&Rtestingofthetripcomputersoftwareisproposed．TheV&VtechnologyhassuccessfullybeenappliedtothedesignoftheshutdownsystemtripcomputersforWolsongCANDUreactorsinKorea-QinshanCANDUreactorsinChina，CemavodaCANDUreactorUnit2inR

5、omania-andPointLepreauCANDUreactorrefurbishmentinCanada．Theprocessesandtoolhavebeenimprovedoversuccessiveprojectstotakeadvantageofrecentdevelopmentsincomputerhardwareandsoftware．Keywords：Safety—criticalsoftwareVerificationandvalidation(V&V)ShutdownsystemTripcomputerCAND

6、U0IntroductionCANDU(CANDUisaregisteredtrade—markofAECL)reactorshavetwoindependentshutdownsystems，whichtriporterminatethenuclearreactionifanyofthedesignatedmeasuredprocesssignalsexceedsitsspecifiedtripsetpoint．Computersareusedinthesetwoshutdownsystemstoimproveoverallplan

7、treliabilityandsimplicity．Theyarereferredtoasthe“tripcomputers”．Depend—abilityrequirementsfortheseessentialcomputersareveryhig}1．Thetripcomputersoftwareisclassified船“safety-critical”and私such．arigoroussoftwaresafetylifecycleisfollowedduringthedevelopmentofthetripcomputer

8、soft-ware．Appropriatetechniquesandmeasuresareselectedaccordingtothesafetyintegritylevel(SIL)ofthesystem修改稿收到日期