北京廣利核系統(tǒng)工程有限公司 程建明,張亞棟,梁中起,章丹,王曉燕
摘要:獨(dú)立性是核安全級(jí)儀控系統(tǒng)軟件驗(yàn)證和確認(rèn)(V&V)的重要要求之一。在公司內(nèi)部獨(dú)立部門執(zhí)行軟件V&V的基礎(chǔ)上,廣利核(CTEC)公司另外委托第三方認(rèn)證機(jī)構(gòu)ISTec公司對(duì)廣利核公司自主研發(fā)的國(guó)內(nèi)首個(gè)核電站安全級(jí)數(shù)字化儀控系統(tǒng)平臺(tái)(FirmSys平臺(tái))軟件執(zhí)行獨(dú)立V&V工作。本文總結(jié)第三方IV&V工作的過(guò)程和方法,并與廣利核內(nèi)部執(zhí)行的軟件V&V工作的過(guò)程和方法進(jìn)行對(duì)比分析。分析表明,第三方IV&V工作和CTEC內(nèi)部V&V都有各自滿足法規(guī)、標(biāo)準(zhǔn)的完整的過(guò)程和方法,通過(guò)第三方IV&V工作可以佐證CTEC內(nèi)部V&V工作的有效性,并增強(qiáng)了FirmSys平臺(tái)軟件安全性的可信度。
關(guān)鍵詞:數(shù)字化核安全級(jí)儀控系統(tǒng);獨(dú)立驗(yàn)證和確認(rèn)
在線預(yù)覽:FirmSys平臺(tái)軟件第三方V&V過(guò)程和方法
摘自《自動(dòng)化博覽》2016年10月刊