-
题名反射机制的安全核技术在微机联锁系统中实现
- 1
-
-
作者
陈亮
黎忠文
李堂秋
郑建仙
-
机构
厦门大学软件学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2005年第6期105-107,174,共4页
-
基金
福建省青年科技人才创新基金(编号:2003J020)资助
福建省2004年自然科学基金(编号:A0410004)
厦门大学院士引进基金资助
-
文摘
软件的日益广泛应用逐渐改变了控制系统的故障模式,因此对新安全保障技术的研究具有重要的意义。安全核正是应运而生的一种新安全保障概念,其实施技术是当前的研究热点之一。该文以研究基于反射机制的安全核技术为出发点,在分析铁路微机联锁系统故障行为的基础上,深入研究基于反射机制的安全核技术在铁路微机联锁系统中实现的可行性及关键技术,以期为这一类安全关键系统提供新的、更有效的安全保障技术支持。
-
关键词
微机联锁
安全关键系统
安全核openc++
反射
-
Keywords
Microcomputer Interlocking,safety critical system,Safety Kernel,openc++,Refletion
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-