【出 处】：《 计算机仿真 》 CSCD 2014年第31卷第4期 147-150页,共5页

【作 者】： 孙远志 [1] ; 张洋 [2] ; 庞智 [3]

【摘 要】 核电站的安全特性要求数字化仪控系统软件必须具备极高的可靠性,但由于计算机软件的特殊性,要及时发现某些设计缺陷和逻辑错误,必须依赖特殊工况或人为的破坏性试验,这样做的代价是极高的.提供了一种验证方法,即基于核电站全范围仿真机,利用高精度的仿真模型,设计各种安全验证试验,通过模拟核电站的突发工况,验证仪控软件在这种突发工况下的安全性和可靠性;并在“数字化控制系统是不安全的”假设条件下,进行各项非常规操作,以验证仪控软件的逻辑和规程中的不安全因素.通过一个“汽机故障引发的非计划停堆事故”试验,找出了设计中可能存在的缺陷,并给出了改进意见.结果表明,基于全范围仿真机的仪控软件设计验证是可行的.