论文部分内容阅读
容错计算机系统可实现高任务可靠性,广泛应用于飞控系统。该文对双机容错计算机进行分析,基于心跳线、交叉通道链路实现系统级设计,基于使能、环路器实现了模块级设计。竞争型主从机身份确认算法用于系统启动时的主从机认定,表决算法用于判断数据的有效性并分析系统是否存在故障,同步任务用于在分机间实现状态、任务、时钟同步。