计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2009年
2期
102-105
,共4页
航空全双工交换以太网%最大偏移%冗余管理算法%仿真验证
航空全雙工交換以太網%最大偏移%冗餘管理算法%倣真驗證
항공전쌍공교환이태망%최대편이%용여관리산법%방진험증
围绕AFDX系统中的冗余管理问题,针对冗余帧发送时间间隔SkewMax,进行了较为深入地分析与研究,利用NetworkCalculus对AFDX网络进行建模,并定量分析其数据包的延迟抖动,提出了较为有效的冗余管理算法SKRM.然后.运用时序自动机模型的验证工具UPPAAL,对所提出的SKRM冗余管理算法进行仿真验证.结果证明,SKRM冗余管理算法是有效的,可以保证航电网络数据传输可靠性要求.
圍繞AFDX繫統中的冗餘管理問題,針對冗餘幀髮送時間間隔SkewMax,進行瞭較為深入地分析與研究,利用NetworkCalculus對AFDX網絡進行建模,併定量分析其數據包的延遲抖動,提齣瞭較為有效的冗餘管理算法SKRM.然後.運用時序自動機模型的驗證工具UPPAAL,對所提齣的SKRM冗餘管理算法進行倣真驗證.結果證明,SKRM冗餘管理算法是有效的,可以保證航電網絡數據傳輸可靠性要求.
위요AFDX계통중적용여관리문제,침대용여정발송시간간격SkewMax,진행료교위심입지분석여연구,이용NetworkCalculus대AFDX망락진행건모,병정량분석기수거포적연지두동,제출료교위유효적용여관리산법SKRM.연후.운용시서자동궤모형적험증공구UPPAAL,대소제출적SKRM용여관리산법진행방진험증.결과증명,SKRM용여관리산법시유효적,가이보증항전망락수거전수가고성요구.