基于时间触发的容错通信中间件的研究与实现-计算机科学与技术专业论文.docxVIP

万方数据 万方数据 Nanjing University of Aeronautics and Astronautics The Graduate School College of Computer Science and Technology Research and Implementation for Fault-Tolerant Communication Middleware based on Time-Triggered A Thesis in Computer Science and Technology Engineering by Jin Juan Advised by Associate Prof. Zhang Yuping Submitted in Partial Fulfillment of the Requirements for the Degree of Master of Engineering January, 2014 承诺书 本人声明所呈交的硕士学位论文是本人在导师指导下进 行的研究工作及取得的研究成果。除了文中特别加以标注和致 谢的地方外，论文中不包含其他人已经发表或撰写过的研究成 果，也不包含为获得南京航空航天大学或其他教育机构的学位 或证书而使用过的材料。 本人授权南京航空航天大学可以将学位论文的全部或部 分内容编入有关数据库进行检索，可以采用影印、缩印或扫描 等复制手段保存、汇编学位论文。 （保密的学位论文在解密后适用本承诺书） 作者签名： 日 期： 南京航空航天大学硕士学位论文 摘 要 随着航空电子技术的发展，分布式综合模块化航空电子（DIMA）已成为航空电子系统结 构发展的方向。DIMA 要求分布式节点间的通信具有高安全性和高可靠性，即必须保证对不同 类型的故障进行容错。目前 DIMA 对于将容错功能与应用模块分离的研究相对较少，即航空电 子系统中仍然存在健康诊断、故障定位和容错机制难以维持的问题。针对上述问题，本文提出 了基于时间触发的容错通信中间件，使容错过程和应用软件分隔开来，为应用提供统一的容错 管理接口，降低航空电子系统开发的复杂性。 本文首先对现有的容错、中间件技术及 DIMA 体系结构、需求进行分析，提出并实现了基 于时间触发的容错通信中间件。相对于事件触发，基于时间触发的容错通信排除了资源共享冲 突和恢复操作等问题，保证了分布式系统中通信消息的确定性和可靠性，同时针对时间触发机 制以及 DIMA 的分布式结构特点，研究在时间触发架构和时间触发以太网模型的通信过程中的 容错机制，提炼出了组成员算法（GMA）并对其实现，从而对本文所提出的中间件中在消息通 信过程中产生的错误进行容错。接着，本文通过故障树分析、故障诊断专家系统等技术，在本 文提出的中间件中实现了健康管理与故障诊断功能，根据知识库知识，对诊断得出的结果进行 判断，并做出恢复或丢弃的回应，从而实现了将应用层各系统模块的故障容错功能集成在通用 中间件中。最后以航电系统中的雷达子系统为例来实现该中间件，并验证其合理性与有效性。 关键词：分布式综合模块化航空电子，容错，时间触发，组成员算法，故障诊断，中间件 I 基于时间触发的容错通信中间件的研究与实现 ABSTRACT The Distributed Integrated Modular Avionics (DIMA) has become the direction of the architecture development in the avionics system with the development of the avionics system. DIMA requires the communication among distributed nodes with high security and reliability. Namely, it should ensure the error arising from failure without proliferation and destruction to other components and their status, and the ability of fault tolerant for different types of failure. There’s little study for the current DIMA to separate fault diagnosis and fault tolerance with application modules. That is to say, the system of avionics appli