| 防危核一致性保障技术的研究 |
| |
| 引用本文： | 黎忠文,熊光泽.防危核一致性保障技术的研究[J].系统工程与电子技术,2006,28(3):393-398. |
| |
| 作者姓名： | 黎忠文 熊光泽 |
| |
| 作者单位： | 1. 厦门大学计算机与信息工程学院,福建,厦门,361005;电子科技大学中山学院,广东,中山,528402
2. 电子科技大学计算机科学与工程学院,四川,成都,610054 |
| |
| 基金项目： | 福建省2004年自然科学基金(A0410004)，厦门大学新世纪优秀人才基金(0000-X07116)，厦门大学院士引进基金(0630-E23011)资助课题 |
| |
| 摘 要： | 通过理想防危策略及其制定算法把防危策略的制定与一致性险证集为一体,从而解决防危策略与系统防危需求之间一致性问题;然后研究了以Z语言为桥梁,用数学证明来解决防危核与防危策略之间一致性证明的方法。以十字路口的交通控制为例,全过程地实现和验证了所提出的思想和算法的正确性。
|
| 关 键 词： | 防危核 理想防危策略 安全系统 |
| 文章编号： | 1001-506X(2006)03-0393-06 |
| 修稿时间： | 2005年2月6日 |
Research on assurance technology of safety kernel consistency |
| |
| LI Zhong-wen,XIONG Guang-ze.Research on assurance technology of safety kernel consistency[J].System Engineering and Electronics,2006,28(3):393-398. |
| |
| Authors: | LI Zhong-wen XIONG Guang-ze |
| |
| Abstract: | |
| |
| Keywords: | safety kernel ideal safety policy safety-critical systems |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
