| 安全核技术在微机联锁系统中的实现 |
| |
| 引用本文： | 陈亮,黎忠文,郑建仙. 安全核技术在微机联锁系统中的实现[J]. 四川大学学报(自然科学版), 2004, 41(Z1): 296-300 |
| |
| 作者姓名： | 陈亮 黎忠文 郑建仙 |
| |
| 作者单位： | 厦门大学软件学院,福建,厦门,361005 |
| |
| 基金项目： | 本文受福建省青年科技人才创新基金(2003J020)资助;福建省2004年自然科学基金(A041004)厦门大学院士引进基金资助. |
| |
| 摘 要： | 软件的日益广泛应用逐渐改变了控制系统的故障模式,因此对新的安全故障技术的研究具有重要的意义.安全核正是应用而生的一种新的安全保障概念,棋实施技术是当前的研究热点之一.本文以研究安全核为出发点,深入分析基于反射机制的安全核实现方式以及安全策略调度问题实现的可行性和关键技术,以期为这类安全关键系统提供新的,更有效的安全保障技术支持.
|
| 关 键 词： | 联锁 安全核 反射 调度性分析 |
Realization of Safety Kernel on Reflection for Microcomputer Interlocking System |
| |
| CHEN Liang,Li Zhongwen,ZHEN Jianxian. Realization of Safety Kernel on Reflection for Microcomputer Interlocking System[J]. Journal of Sichuan University (Natural Science Edition), 2004, 41(Z1): 296-300 |
| |
| Authors: | CHEN Liang Li Zhongwen ZHEN Jianxian |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
