Implementing of safety kernel based on reflection for Railway Microcomputer Interlocking System
防危核是针对“新安全危机”问题而提出来的一种系统防危新概念。探讨它在铁路微机联锁系统中应用的可行性及基于反射机制的实现方式;根据系统防危需求,重点研究基于防危核的系统的实时调度问题,提出了基于检测点机制并提升补任务优先级的方法,改进了现有的实时调度算法;最后通过仿真实验验证了本方法的有效性。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.