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

doi:10.3778/j.issn.1002-8331.2009.02.029

计算机工程与应用 ›› 2009, Vol. 45 ›› Issue (2): 102-105.DOI: 10.3778/j.issn.1002-8331.2009.02.029

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

陈昕^1,2,3,杨杰²,周拥军³

1.清华大学计算机科学与技术系，北京 100084
2.北京信息科技大学信息安全系，北京 100101
3.洛阳电光设备研究所电子部，河南洛阳 471009

收稿日期:2008-07-01 修回日期:2008-07-24 出版日期:2009-01-11 发布日期:2009-01-11
通讯作者: 陈昕

Research on Avionics Full-Duplex Ethernet redundancy management algorithm

CHEN Xin^1,2,3,YANG Jie²,ZHOU Yong-jun³

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

摘要/Abstract

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

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

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

陈昕^1,2,3,杨杰²,周拥军³. 航空全双工交换以太网冗余管理机制研究[J]. 计算机工程与应用, 2009, 45(2): 102-105.

CHEN Xin^1,2,3,YANG Jie²,ZHOU Yong-jun³. Research on Avionics Full-Duplex Ethernet redundancy management algorithm[J]. Computer Engineering and Applications, 2009, 45(2): 102-105.

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

Research on Avionics Full-Duplex Ethernet redundancy management algorithm

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 1

编辑推荐

Metrics