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