【摘要】 为保障安全关键系统的正常运行,防止由用户对安全关键设备的误操作引起的系统故障,该文提出了一种通用的安全关键系统防危体系结构和防危策略模型,并以核能发电控制系统为原型研究了一种基于有限自动机的防危策略设计技术,该技术可推广到其他任何安全关键系统设备中．更多还原

【Abstract】 In order to guarantee the validity of safety-critical system and to prevent the system failure caused by user’s improper operation,a general safety architecture and a safety policy model for safety-critical system are proposed.This paper took the nuclear power control system as the example and studied a FSM-based implementation of the safety policy,which can be used by any other safety-critical devices.更多还原