| 航空全双工交换以太网冗余管理机制研究 |
| |
| 引用本文： | 陈昕,杨杰,周拥军.航空全双工交换以太网冗余管理机制研究[J].计算机工程与应用,2009,45(2):102-105. |
| |
| 作者姓名： | 陈昕 杨杰 周拥军 |
| |
| 作者单位： | 1.清华大学 计算机科学与技术系，北京 100084 2.北京信息科技大学 信息安全系，北京 100101 3.洛阳电光设备研究所 电子部，河南 洛阳 471009 |
| |
| 基金项目： | 国家自然科学基金，国家高技术研究发展计划(863计划)，北京市属高校学校人才强教计划，北京市教委科技发展计划项目 |
| |
| 摘 要： | 围绕AFDX系统中的冗余管理问题，针对冗余帧发送时间间隔SkewMax，进行了较为深入地分析与研究，利用Network Calculus对AFDX网络进行建模，并定量分析其数据包的延迟抖动，提出了较为有效的冗余管理算法SKRM。然后，运用时序自动机模型的验证工具UPPAAL，对所提出的SKRM冗余管理算法进行仿真验证。结果证明，SKRM冗余管理算法是有效的，可以保证航电网络数据传输可靠性要求。
|
| 关 键 词： | 航空全双工交换以太网 最大偏移 冗余管理算法 仿真验证 |
| 收稿时间： | 2008-7-1 |
| 修稿时间： | 2008-7-24
|
Research on Avionics Full-Duplex Ethernet redundancy management algorithm |
| |
| CHEN Xin,YANG Jie,ZHOU Yong-jun.Research on Avionics Full-Duplex Ethernet redundancy management algorithm[J].Computer Engineering and Applications,2009,45(2):102-105. |
| |
| Authors: | CHEN Xin YANG Jie ZHOU Yong-jun |
| |
| Affiliation: | 1.Department of Computer Science and Technology，Tsinghua University，Beijing 100084，China 2.Department of Information Security，Beijing Information Science and Technology University，Beijing 100101，China 3.Department of Electronics，Luoyang Institute of Electro-optical Equipment，Luoyang，Henan 471009，China |
| |
| Abstract: | 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. |
| |
| Keywords: | Avionics Full-Duplex Ethernet（AFDX） SkewMax SkewMax Redundancy Management（SKRM） simulation verification |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程与应用》浏览原始摘要信息 |
|
点击此处可从《计算机工程与应用》下载全文 |
