航空全双工交换以太网冗余管理机制研究

摘要：

围绕AFDX系统中的冗余管理问题,针对冗余帧发送时间间隔SkewMax,进行了较为深入地分析与研究,利用NetworkCalculus对AFDX网络进行建模,并定量分析其数据包的延迟抖动,提出了较为有效的冗余管理算法SKRM.然后.运用时序自动机模型的验证工具UPPAAL,对所提出的SKRM冗余管理算法进行仿真验证.结果证明,SKRM冗余管理算法是有效的,可以保证航电网络数据传输可靠性要求.

关键词：航空全双工交换以太网、最大偏移、冗余管理算法、仿真验证

所属期刊栏目：45

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

资助基金：国家自然科学基金the National Natural Science Foundation of China under Grant 90104002;国家高技术研究发展计划863the National High-Tech Research and Development Plan of China under Grant 2001AA112080;北京市属市管高校人才强教计划PXM2008-014224-055928;北京市教委科技发展面上项目资助

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

页数：共4页

页码：102-105