反射机制的安全核技术在微机联锁系统中实现  

Realization of Safety Kernel on Reflection for Microcomputer Interlocking System

作　　者：陈亮[1] 黎忠文[1] 李堂秋[1] 郑建仙[1] 

机构地区：[1]厦门大学软件学院,福建厦门361005

出　　处：《计算机工程与应用》2005年第6期105-107,174,共4页Computer Engineering and Applications

基　　金：福建省青年科技人才创新基金(编号:2003J020)资助;福建省2004年自然科学基金(编号:A0410004);厦门大学院士引进基金资助

摘　　要：软件的日益广泛应用逐渐改变了控制系统的故障模式,因此对新安全保障技术的研究具有重要的意义。安全核正是应运而生的一种新安全保障概念,其实施技术是当前的研究热点之一。该文以研究基于反射机制的安全核技术为出发点,在分析铁路微机联锁系统故障行为的基础上,深入研究基于反射机制的安全核技术在铁路微机联锁系统中实现的可行性及关键技术,以期为这一类安全关键系统提供新的、更有效的安全保障技术支持。The widely application of software increasingly change the malfunction mode of control system,so the signifi-cance of studying new safety technology become very important.The safety kernel is a novel method for safety applica-tion,the realization of safety kernel technology is one of the hottest study recently.To study safety kernel technology on reflection mechanism,This paper analyzes the malfunction action of microcomputer interlocking system and deeply stud-ies the feasibility and key technology of safety kernel technology on reflection mechanism which carries out in micro-computer interlocking system,and expects to provide more effective newly security technology support for such safety critical system.

关 键 词：微机联锁 安全关键系统 安全核OpenC++ 反射 

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