Computer Engineering and Applications ›› 2009, Vol. 45 ›› Issue (2): 102-105.DOI: 10.3778/j.issn.1002-8331.2009.02.029

• 网络、通信、安全 • Previous Articles     Next Articles

Research on Avionics Full-Duplex Ethernet redundancy management algorithm

CHEN Xin1,2,3,YANG Jie2,ZHOU Yong-jun3   

  1. 1.Department of Computer Science and Technology,Tsinghua University,Beijing 100084,China
    2.Department of Information Security,Beijing Information Science and Technology University,Beijing 100101,China
    3.Department of Electronics,Luoyang Institute of Electro-optical Equipment,Luoyang,Henan 471009,China
  • Received:2008-07-01 Revised:2008-07-24 Online:2009-01-11 Published:2009-01-11
  • Contact: CHEN Xin


陈 昕1,2,3,杨 杰2,周拥军3   

  1. 1.清华大学 计算机科学与技术系,北京 100084
    2.北京信息科技大学 信息安全系,北京 100101
    3.洛阳电光设备研究所 电子部,河南 洛阳 471009
  • 通讯作者: 陈 昕

Abstract: This paper analyzes and studies on the redundancy management problem of AFDX system,focusing on SkewMax,the transmitting time interval of redundant frames.A valid redundancy management algorithm SKRM is put forward through AFDX network modelling by Network Calculus and quantifying the jitter of packets.Then,SKRM is verified and evaluated using UPPAAL,a verification tool of timed automata model.It is concluded ADFX can meet the reliability requirement on avionics data transmission effectively.

Key words: Avionics Full-Duplex Ethernet(AFDX), SkewMax, SkewMax Redundancy Management(SKRM), simulation verification

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

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