AFDX冗余管理机制的仿真  

Simulation of AFDX Redundancy Management Mechanism

作　　者：陈昕[1,2,3] 路娟[2] 周拥军[3] 

机构地区：[1]清华大学计算机科学与技术系,北京100084 [2]北京信息科技大学信息安全系,北京100101 [3]洛阳电光设备研究所电子部,洛阳471009

出　　处：《计算机工程》2008年第23期92-94,共3页Computer Engineering

基　　金：国家自然科学基金资助项目(90104002);国家"863"计划基金资助项目(2001AA112080);北京市属市管高校人才强教计划基金资助项目(PXM2008-014224-055928);北京市教委科技发展面上基金资助项目

摘　　要：介绍了AFDX系统的组成及体系结构,通过对AFDX实时通信协议的冗余管理机制和冗余帧处理算法的分析和研究,提出具有较高可靠性的冗余帧处理算法ESKM。并通过时间自动机理论和UPPAAL工具模拟仿真,验证了其满足航空电子网络数据传输的可靠性需求。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.

关 键 词：冗余网络 冗余管理 最大偏移 时间自动机 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]