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

Research on Avionics Full-Duplex Ethernet redundancy management algorithm

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

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 UP- PAAL,a verification tool of timed automata model.It is concluded ADFX can meet the reliability requirement on avionics data transmission effectively.