论文部分内容阅读
随着航空电子技术的发展,分布式综合模块化航空电子(DIMA)已成为航空电子系统结构发展的方向。DIMA要求分布式节点间的通信具有高安全性和高可靠性,即必须保证对不同类型的故障进行容错。目前DIMA对于将容错功能与应用模块分离的研究相对较少,即航空电子系统中仍然存在健康诊断、故障定位和容错机制难以维持的问题。针对上述问题,本文提出了基于时间触发的容错通信中间件,使容错过程和应用软件分隔开来,为应用提供统一的容错管理接口,降低航空电子系统开发的复杂性。本文首先对现有的容错、中间件技术及DIMA体系结构、需求进行分析,提出并实现了基于时间触发的容错通信中间件。相对于事件触发,基于时间触发的容错通信排除了资源共享冲突和恢复操作等问题,保证了分布式系统中通信消息的确定性和可靠性,同时针对时间触发机制以及DIMA的分布式结构特点,研究在时间触发架构和时间触发以太网模型的通信过程中的容错机制,提炼出了组成员算法(GMA)并对其实现,从而对本文所提出的中间件中在消息通信过程中产生的错误进行容错。接着,本文通过故障树分析、故障诊断专家系统等技术,在本文提出的中间件中实现了健康管理与故障诊断功能,根据知识库知识,对诊断得出的结果进行判断,并做出恢复或丢弃的回应,从而实现了将应用层各系统模块的故障容错功能集成在通用中间件中。最后以航电系统中的雷达子系统为例来实现该中间件,并验证其合理性与有效性。