论文部分内容阅读
围绕AFDX系统中的冗余管理问题,针对冗余帧发送时间间隔SkewMax,进行了较为深入地分析与研究,利用Network Calculus对AFDX网络进行建模,并定量分析其数据包的延迟抖动,提出了较为有效的冗余管理算法SKRM。然后,运用时序自动机模型的验证工具UPPAAL,对所提出的SKRM冗余管理算法进行仿真验证。结果证明,SKRM冗余管理算法是有效的,可以保证航电网络数据传输可靠性要求。