AFDX冗余管理机制的仿真

摘要：

介绍了AFDX系统的组成及体系结构,通过对AFDX实时通信协议的冗余管理机制和冗余帧处理算法的分析和研究,提出具有较高可靠性的冗余帧处理算法ESKM.并通过时间自动机理论和UPPAAL工具模拟仿真,验证了其满足航空电子网络数据传输的可靠性需求.

关键词：冗余网络、冗余管理、最大偏移、时间自动机

所属期刊栏目：34

分类号：TP393(计算技术、计算机技术)

资助基金：国家自然科学基金资助项目90104002;国家"863"计划基金资助项目2001AA112080;北京市属市管高校人才强教计划基金资助项目PXM2008-014224-055928;北京市教委科技发展面上基金

在线出版日期：2009-02-18（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：92-94