摘要： 介绍了AFDX系统的组成及体系结构，通过对AFDX实时通信协议的冗余管理机制和冗余帧处理算法的分析和研究，提出具有较高可靠性的冗余帧处理算法ESKM。并通过时间自动机理论和UPPAAL工具模拟仿真，验证了其满足航空电子网络数据传输的可靠性需求。
关键词:
冗余网络,
冗余管理,
最大偏移,
时间自动机
Abstract: This paper introduces the composition and architecture of AFDX system, puts forward a highly reliable redundancy management mechanism along with corresponding processing algorithm of redundant frames through analysis and study of the original AFDX real-time communication protocol. Based on timed automata theory and UPPAAL simulation, it is proved that ADFX can meet the reliability requirement on avionics data transmission.
Key words:
redundant network,
redundancy management,
SkewMax,
timed automata
中图分类号:
陈 昕;路 娟;周拥军. AFDX冗余管理机制的仿真[J]. 计算机工程, 2008, 34(23): 92-94.
CHEN Xin; LU Juan; ZHOU Yong-jun. Simulation of AFDX Redundancy Management Mechanism[J]. Computer Engineering, 2008, 34(23): 92-94.