作者:北京廣利核系統(tǒng)工程有限公司 張海濱,黃君龍,曹宗生,齊敏
摘要:在國內(nèi)使用商業(yè)操作系統(tǒng)研發(fā)核安全級設(shè)備尚未有先例,為了使商用操作系統(tǒng)QNX能應(yīng)用于安全級設(shè)備,國際上通常采用NRC的CGD方法,對關(guān)鍵特性進行驗證;其中關(guān)鍵特性測試是最有效的驗證方法,但需要確定所做測試的合適范圍保證商用軟件能夠應(yīng)用于核安全設(shè)備產(chǎn)品中。本文在接口函數(shù)關(guān)鍵特性基礎(chǔ)上提出了增加功能、性能測試的簡單易行方法,對使用到的功能、性能、函數(shù)接口進行測試,保證了核安全設(shè)備所使用到的功能的質(zhì)量;該方法已在核電廠安全顯示裝置的開發(fā)中應(yīng)用,效果良好,極大節(jié)省了成本,加快了產(chǎn)品開發(fā)周期,可以推廣到其他核級產(chǎn)品的研發(fā)中。
關(guān)鍵詞: 核電廠; S C ID(安全控制顯示系統(tǒng));QNX ; C G D(Commercial Grade Dedication);關(guān)鍵特性
在線預(yù)覽:應(yīng)用于核電廠安全控制顯示裝置的QNX操作系統(tǒng)關(guān)鍵特性測試方法研究
摘自《自動化博覽》2018年12月刊