中文会议： 2005通信理论与技术新进展--第十届全国青年通信学术会议论文集

会议日期： 2005-08-24

会议地点： 四川绵阳

主办单位： 中国通信学会

作　　者： ;

机构地区： 厦门大学信息科学与技术学院

出　　处： 《第十届全国青年通信学术会议》

摘　　要： 防危核是提高安全关键系统可信性的一种重要保障方案,防危策略的正确性直接决定了防危核技术的有效性.本文深入研究了防危核与防危策略分类的关系、强类防危策略的特性以及实现方法.从系统防危需求分析入手,提出了以形式化语言为桥梁,用数学证明来解决防危核与强防危策略之间一致性证明的方法,从而为防危核与强防危策略一致性问题的解决探索出一条新路子.并以十字路口的交通控制为例全过程的实现和验证了所提出的思想和算法及其正确性.

关 键 词： 防危核 防危策略 安全关键系统 交通控制

分 类 号： [TP]

领　　域： [自动化与计算机技术]