时间触发分布式实时系统容错时钟同步算法设计

摘要

分布式实时系统应用越来越广。为解决时间触发分布式实时系统的时钟同步问题,首先提出一种基于LL模型的确定性容错算法——容错最值算法,该同步算法不局限于某一种具体的总线通信结构,理论上可适用于所有满足LL模型假设的系统;然后对提出的算法容错性和有效性进行理论证明,求出其同步精密度的理论值;最后通过CANoe工具搭建符合LL模型的仿真系统,对容错最值算法和基于该模型的FTM算法进行对比仿真实验。实验结果表明,容错最值时钟同步算法可以克服时钟拜占庭故障,具有容错性,保证了系统在拜占庭故障情况下仍能维持理论精密度下的同步。