【摘要】中国空间站首次应用了基于拜占庭容错理论的四机控制器，以提高制导、导航与控制系统的可靠性。针对控制器各机时间数据严格一致的要求和并行分布式采集方式导致的输入时间数据不一致之间的矛盾，提出了一套适用于四机控制器的时间系统设计方法。设计了四机间输入数据的交换机制，从源头上解决了四机使用时间数据的一致性问题；设计了地面注入校时、GNSS数据校时、数管系统校时等方式，并根据时间数据的不同特性设计了“多取一”的专门处理逻辑，实现了控制器时间系统的自主高精度稳定运行。在轨数据及专项测试结果表明：控制器时间系统运行正常、各机时间数据严格一致，校时方法正确；在各种故障测试工况下，控制器时间系统都实现了正确可靠运行。

【关键词】中国空间站；容错控制器；时间系统；设计与验证

【作者】冯帅，蔡彪，张志方，谢卫，于海心，于丹，张锦江