安全关键系统中防危策略的设计技术研究  

Study on Design Technology of the Safety Policy for Safety-Critical System

作　　者：杨霞[1] 熊光泽[1] 袁继敏[1] 刘锦德[1] 

机构地区：[1]电子科技大学计算机科学与工程学院,成都610054

出　　处：《电子科技大学学报》2006年第S1期706-709,共4页Journal of University of Electronic Science and Technology of China

基　　金：国家"十五"基金资助项目(41315040106)

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

关 键 词：安全关键系统 防危中间层 防危核 防危策略 有限状态机 

分 类 号：TP309[自动化与计算机技术—计算机系统结构]