防危核技术在铁路微机联锁系统中的应用研究  

Implementing of safety kernel based on reflection for Railway Microcomputer Interlocking System

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

机构地区：[1]厦门大学计算机与信息工程学院,厦门361005

出　　处：《铁路计算机应用》2005年第6期13-15,共3页Railway Computer Application

基　　金：福建省青年科技人才创新基金(2003J020);福建省2004年自然科学基金(A0410004)。

摘　　要：防危核是针对“新安全危机”问题而提出来的一种系统防危新概念。探讨它在铁路微机联锁系统中应用的可行性及基于反射机制的实现方式;根据系统防危需求,重点研究基于防危核的系统的实时调度问题,提出了基于检测点机制并提升补任务优先级的方法,改进了现有的实时调度算法;最后通过仿真实验验证了本方法的有效性。Safety kernel was proposed as a new system safety concept for new safety crisis. The main contribution was twofold. Firstly, it was analyzed the applicability of safety kernel to railway microcomputer interlocking system, and the implementing mode of reflection. Secondly, it was emphasis on real-time dispatehing of the System based on safety kernel. To improve the exiting real-time dispatching algorithm, it was put forward new method, which based on checkpointing mechanism, of increasing the priority of alternative tasks. At last the effectiveness of the proposed approach was evaluated by simulation.

关 键 词：联锁系统 防危核 反射 检测点 优先级 

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