CORC  > 清华大学
航空全双工交换以太网冗余管理机制研究
陈昕 ; 杨杰 ; 周拥军 ; CHEN Xin ; YANG Jie ; ZHOU Yong-jun
2010-06-09 ; 2010-06-09
关键词航空全双工交换以太网 最大偏移 冗余管理算法 仿真验证 Avionics Full-Duplex Etherne(tAFDX) SkewMax SkewMax Redundancy Managemen(tSKRM) simulation verification TP273.5
其他题名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.; 国家自然科学基金No.90104002; 国家高技术研究发展计划(863)No.2001AA112080; 北京市属市管高校人才强教计划(No.PXM2008-014224-055928); 北京市教委科技发展面上项目资助~~
语种中文 ; 中文
内容类型期刊论文
源URL[http://hdl.handle.net/123456789/55354]  
专题清华大学
推荐引用方式
GB/T 7714
陈昕,杨杰,周拥军,等. 航空全双工交换以太网冗余管理机制研究[J],2010, 2010.
APA 陈昕,杨杰,周拥军,CHEN Xin,YANG Jie,&ZHOU Yong-jun.(2010).航空全双工交换以太网冗余管理机制研究..
MLA 陈昕,et al."航空全双工交换以太网冗余管理机制研究".(2010).
个性服务
查看访问统计
相关权益政策
暂无数据
收藏/分享
所有评论 (0)
暂无评论
 

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。


©版权所有 ©2017 CSpace - Powered by CSpace