北京广利核系统工程有限公司

作者：北京广利核系统工程有限公司 张海滨，黄君龙，曹宗生，齐敏

摘要：在国内使用商业操作系统研发核安全级设备尚未有先例，为了使商用操作系统QNX能应用于安全级设备，国际上通常采用NRC的CGD方法，对关键特性进行验证；其中关键特性测试是最有效的验证方法，但需要确定所做测试的合适范围保证商用软件能够应用于核安全设备产品中。本文在接口函数关键特性基础上提出了增加功能、性能测试的简单易行方法，对使用到的功能、性能、函数接口进行测试，保证了核安全设备所使用到的功能的质量；该方法已在核电厂安全显示装置的开发中应用，效果良好，极大节省了成本，加快了产品开发周期，可以推广到其他核级产品的研发中。

关键词: 核电厂； S C ID（安全控制显示系统）；QNX ； C G D（Commercial Grade Dedication）；关键特性

在线预览：应用于核电厂安全控制显示装置的QNX操作系统关键特性测试方法研究

摘自《自动化博览》2018年12月刊