摘要

二乘二取二冗余结构是车载列车自动防护(ATP)系统安全计算机的技术趋势。针对二乘二取二系统中的双机同步问题,采用公共外时钟为二取二双机提供参考时钟信号,并基于时钟漂移率有界模型对本地时钟进行漂移补偿,实现二取二双机的本地时钟同步。在此基础上,系统软件采用任务周期时序控制和双机通信的方式,同步顺序地处理输入、计算、输出等任务,在控制周期中的每个任务点进行同步处理,达到二取二双机的任务同步。采用软件算法和系间通信实现2种系统之间的周期同步。实验结果表明,该同步机制能够满足车载ATP二乘二取二安全计算机对同步技术的需求。