一种三机热备份的时间同步方法

摘要

本发明针对空间计算机三机热备份设计的系统同步问题，提出了一种三机热备份的时间同步方法。该方法首先细化三机各自的硬件时钟分辨率，而后在系统运行时利用三机共有的同步信号以及三机各自的硬件时钟信息进行GNC星时的获取，此外设计策略控制三机硬件差异所造成的三机小尺度GNC星时发散问题，保证了GNC星时与数管星时同步。本发明不需要系统硬件为三机提供高精度的时钟信息，减少了应用软件对硬件环境的依赖。我国探月二期GNC系统主控计算机采用了该发明，从而在不做任何硬件改动的情况下，实现了三机星时同步误差在100微秒以下，满足了任务需求。

主权项

一种三机热备份的时间同步方法，其特征在于步骤如下：1）确定三机热备份系统中三机各自硬件时钟的分辨率s；其中硬件星时分辨率小于GNC星时分辨率1个数量级以上；所述的GNC星时为设定的用于控制计算的星时；2）三级热备份系统中的时钟仲裁板以Td为周期向三机周期性发送同步信号；三机每收到一次同步信号后，三机各自的同步信号计数器的计数值加1，同时对三机各自的硬件时钟清零；3）当三机收到数管分系统发送的校时指令时，三机硬件产生校时中断，并记录数管分系统发送的星时T1、当前时刻的同步信号计数器的计数值nj以及当前时刻的三机各自的硬件时钟值txj；4）根据步骤2）和步骤3）记录的结果，可分别获得任意时刻三机各自的GNC星时:Tc=round(T1+(nc‑nj)Td+(txc‑txj)s)，其中nc、txc分别为当前时刻的同步信号计数器的计数值和三机各自的硬件时钟值，round（）为对括号内的量以GNC星时分辨率为最小当量进行四舍五入取整。