| AFDX冗余管理机制的仿真 |
| |
| 引用本文： | 陈 昕,,路 娟,周拥军.AFDX冗余管理机制的仿真[J].计算机工程,2008,34(23):92-94. |
| |
| 作者姓名： | 陈 昕 路 娟 周拥军 |
| |
| 作者单位： | (1. 清华大学计算机科学与技术系，北京 100084；2. 北京信息科技大学信息安全系，北京 100101； 3. 洛阳电光设备研究所电子部，洛阳 471009) |
| |
| 摘 要： | 介绍了AFDX系统的组成及体系结构，通过对AFDX实时通信协议的冗余管理机制和冗余帧处理算法的分析和研究，提出具有较高可靠性的冗余帧处理算法ESKM。并通过时间自动机理论和UPPAAL工具模拟仿真，验证了其满足航空电子网络数据传输的可靠性需求。
|
| 关 键 词： | 冗余网络 冗余管理 最大偏移 时间自动机 |
| 修稿时间： | |
Simulation of AFDX Redundancy Management Mechanism |
| |
| CHEN Xin,,LU Juan,ZHOU Yong-jun.Simulation of AFDX Redundancy Management Mechanism[J].Computer Engineering,2008,34(23):92-94. |
| |
| Authors: | CHEN Xin LU Juan ZHOU Yong-jun |
| |
| Affiliation: | (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) |
| |
| 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. |
| |
| Keywords: | redundant network redundancy management SkewMax timed automata |
|
| 点击此处可从《计算机工程》浏览原始摘要信息 |
|
点击此处可从《计算机工程》下载全文 |
