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