检索
E-mail
RSS
作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑

计算机工程 ›› 2008, Vol. 34 ›› Issue (23): 92-94.doi: 10.3969/j.issn.1000-3428.2008.23.034

• 网络与通信 • 上一篇    下一篇

AFDX冗余管理机制的仿真

陈 昕1,2,3，路 娟2，周拥军3   

  1. (1. 清华大学计算机科学与技术系，北京 100084；2. 北京信息科技大学信息安全系，北京 100101； 3. 洛阳电光设备研究所电子部，洛阳 471009)
  • 收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2008-12-05 发布日期:2008-12-05

Simulation of AFDX Redundancy Management Mechanism

CHEN Xin1,2,3, LU Juan2, ZHOU Yong-jun3   

  1. (1. Department of Computer Science and Technology, Tsinghua University, Beijing 100084; 2. Department of Information Security, Beijing Information Science and Technology University, Beijing 100101; 3. Department of Electronics, Luoyang Institute of Electro-optical Equipment, Luoyang 471009)
  • Received:1900-01-01 Revised:1900-01-01 Online:2008-12-05 Published:2008-12-05

PDF

1863

摘要： 介绍了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

中图分类号: