应用全范围仿真机的核电站仪控软件设计验证  

A Validation and Verification Method of I&C Software of Nuclear Power Station Based on FSS

作　　者：孙远志 张洋[2] 庞智[3] 

机构地区：[1]中广核(北京)仿真技术有限公司,北京100094 [2]北京电力公司,北京100031 [3]北京广利核系统工程有限公司,北京100093

出　　处：《计算机仿真》2014年第4期147-150,272,共5页Computer Simulation

摘　　要：核电站的安全特性要求数字化仪控系统软件必须具备极高的可靠性,但由于计算机软件的特殊性,要及时发现某些设计缺陷和逻辑错误,必须依赖特殊工况或人为的破坏性试验,这样做的代价是极高的。提供了一种验证方法,即基于核电站全范围仿真机,利用高精度的仿真模型,设计各种安全验证试验,通过模拟核电站的突发工况,验证仪控软件在这种突发工况下的安全性和可靠性;并在"数字化控制系统是不安全的"假设条件下,进行各项非常规操作,以验证仪控软件的逻辑和规程中的不安全因素。通过一个"汽机故障引发的非计划停堆事故"试验,找出了设计中可能存在的缺陷,并给出了改进意见。结果表明,基于全范围仿真机的仪控软件设计验证是可行的。The safety features of nuclear power plants require digital control system software must have high relia bility. Because of the special nature of computer software, to discover some design flaws and logic errors must rely on special conditions or man made destructive testing, the cost is very high. This article provided a validation and ver ification method based on nuclear power plant full scope simulator, design various verification tests by using high precision simulation model and simulating unexpected conditions in nuclear power plant, to validate the safety and re liability of I＆C software in such a contingency conditions. Under the assumptions ＂digital control system is unsafe＂, we performed some unconventional operations to verify the logic of the instrument control software and procedures un safe factors in the digital control system. This article also provided a test of unplanned reactor accident caused by trip to identify possible defects in the design and improvements. The results show that the full scope simulator based I＆C software design verification is feasible.

关 键 词：数字化仪控系统 核电站全范围仿真机 软件验证 

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