Schedulability analysis for AFDX-based avionics systems
-
摘要: 航空电子全双工交换式以太网(AFDX,Avionics Full Duplex Switched Ethernet)是新一代大型飞机机载网络的首选方案,构建其上的航空电子系统应保证强实时应用在时限内完成.针对现有AFDX实时性研究仅给出网络延迟上界的不足,综合考虑了任务的响应时间以及实时消息在AFDX网络中的传输延迟.建立了使用AFDX网络的航空电子系统模型,分析了分布式任务序列的整体时间需求.应用全局分析思想,给出任务序列的最坏情况响应时间,为系统实时性的评价和优化提供了理论依据.仿真结果表明该分析给出了紧凑的任务序列响应时间上界.
-
关键词:
- 航空系统工程 /
- 航空电子全双工交换式以太网 /
- 可调度性分析 /
- 最坏情况响应时间 /
- 网络演算
Abstract: Avionics full duplex switched ethernet (AFDX) is designed for on-board communications in the new generation large aircraft. AFDX-based avionics systems are required to guarantee that hard real-time applications can be completed within their dead-lines. While current researches on real-time performance of AFDX only give the delay upper bound of frames,both the response-time of tasks in each processor and the delivery delay of hard real-time messages in AFDX networks were consided. The AFDX-based avionics system model was built, and the timing requirement of distributed task sequences was analyzed. Then, the worst case response time of task sequences was derived by using the holistic analysis. The proposed schedulability analysis provided a theoretical means to evaluate and optimize system real-time performance. Simulation results manifest that this analysis can give the tight upper bound for response time of task sequences. -
[1] 熊华钢,周贵荣,李峭.机载总线网络及其发展[J].航空学报,2006,27(6):1135-1144 Xiong Huagang,Zhou Guirong,Li Qiao.A survey on avionics bus and network interconnection and their progress [J].Acta Aeronoutica et Astronautica Sinica,2006,27(6):1135-1144(in Chinese) [2] Arinc 664 Aircraft data network,part 7:avionics full duplex switched ethernet (AFDX) network [S] [3] Yao M,Qiu Z,Kwak K.Leaky bucket algorithm in AFDX [J].Electronics Letters,2009,45(11):543-545 [4] 陈昕,周拥军,蒋文保,等.AFDX协议性能分析及调度算法研究 [J].电子学报,2009,37(5):1000-1005 Chen Xin,Zhou Yongjun,Jiang Wenbao,et al.Performance analysis of AFDX protocol and scheduling algorithm [J].Acta Electronica Sinica,2009,37(5):1000-1005(in Chinese) [5] Boyer M,Fraboul C.Tightening end-to-end delay upper bound for AFDX network calculus with rate latency FIFO servers using network calculus //IEEE,International Workshop on Factory Communication Systems.Dresden:IEEE,2008:11-20 [6] Scharbarg J L,Fraboul C.Simulation for end-to-end delays distribution on a switched ethernet //IEEE Symposium on Emerging Technologies and Factory Automation.Patras,Greece:IEEE,2007:1092-1099 [7] Audsley N,Burns A,Tindell K,et al.Applying new scheduling theory to static priority pre-emptive scheduling [J].Software Engineering Journal,1994,8(5):284-292 [8] Bril R J,Steffens E F-M,Verhaegh W F-J.Best-case response times and jitter analysis of real-Time tasks [J].Journal of Scheduling,2004,7(2):133-147 [9] Cruz R L.A calculus for network delay,part I:network elements in isolation [J].IEEE Trans on Information Theory,1991,37(1):114-131 [10] Boudec J-Y L,Thiran P.Network calculus [M].Berlin:Springer Verlag,2004 [11] Tindell K,Clark J.Holistic schedulability analysis for distributed hard real-time systems [J].Microprocessing and Microprogramming,1994,40(2):117-134 [12] Scharbarg J L,Ridouard F,Fraboul C.A probabilistic analysis of end-to-end delays on an AFDX avionic network [J].IEEE Trans on Industrial Informatics,2009,5(1):38-49
点击查看大图
计量
- 文章访问数: 3248
- HTML全文浏览量: 238
- PDF下载量: 508
- 被引次数: 0