今日頭條
官方微信
官方抖音
案例頻道作者：北京廣利核系統(tǒng)工程有限公司 張海濱，黃君龍，曹宗生，齊敏
摘要：在國內(nèi)使用商業(yè)操作系統(tǒng)研發(fā)核安全級設(shè)備尚未有先例，為了使商用操作系統(tǒng)QNX能應(yīng)用于安全級設(shè)備，國際上通常采用NRC的CGD方法，對關(guān)鍵特性進(jìn)行驗(yàn)證；其中關(guān)鍵特性測試是最有效的驗(yàn)證方法，但需要確定所做測試的合適范圍保證商用軟件能夠應(yīng)用于核安全設(shè)備產(chǎn)品中。本文在接口函數(shù)關(guān)鍵特性基礎(chǔ)上提出了增加功能、性能測試的簡單易行方法，對使用到的功能、性能、函數(shù)接口進(jìn)行測試，保證了核安全設(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)鍵特性測試方法研究
摘自《自動(dòng)化博覽》2018年12月刊
北京市公安局海淀分局備案號：11010802023656號