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

Research of Test Method of Critical Characteristics of QNX Used in NPP SCID

作　　者：张海滨 黄君龙 曹宗生[1] 齐敏[1] 

机构地区：[1]北京广利核系统工程有限公司

出　　处：《自动化博览》2018年第12期74-77,共4页Automation Panorama1

摘　　要：在国内使用商业操作系统研发核安全级设备尚未有先例,为了使商用操作系统QNX能应用于安全级设备,国际上通常采用NRC的CGD方法,对关键特性进行验证;其中关键特性测试是最有效的验证方法,但需要确定所做测试的合适范围保证商用软件能够应用于核安全设备产品中。本文在接口函数关键特性基础上提出了增加功能、性能测试的简单易行方法,对使用到的功能、性能、函数接口进行测试,保证了核安全设备所使用到的功能的质量;该方法已在核电厂安全显示装置的开发中应用,效果良好,极大节省了成本,加快了产品开发周期,可以推广到其他核级产品的研发中。In China,commercial operating system has not been applied to develop safety classification device.To make commercial operating system QNX be used in safety classification device,CGD method of NRC is used through verifying the critical characteristics (CC).Among the verification methods,CC Test is the most effective method.Nevertheless, the quantity of test should be determined to ensure that the commercial OS can be used in safety classification device. Based on C language interface,this paper proposes a simple and practical method that can improve system function and performance.Test are carried out for all the functions, performance and interface.It provide quality assurance for the application of QNX in safety classification devices.This method has be applied in development of SCID and results show that it is can achieve better performance,reduce cost and speed up the time to develop product.Therefore,this method can be applied in the research and development of other safety classification device.

关 键 词：核电厂 SCID(安全控制显示系统) QNX CGD(Commercial Grade Dedication) 关键特性 

分 类 号：TM623[电气工程—电力系统及自动化]