论文部分内容阅读
核电站仪控系统是安全关键系统,控制联锁能保证系统的可用性。针对核电厂紧急停堆子系统中的联锁应用,将停堆规则与停堆设备、信号抽象为逻辑与集合的复合关系,建立联锁模型,分析联锁模型的理论及工程意义。从软件指令生命周期角度,通过增加软件监测点,提出可观测性可纠错的软件联锁,完成对硬件与自身的监测、纠错,提高仪控系统的安全预警能力。