Improving AFDX end-to-end delays analysis

The AFDX (Avionics Full DupleX Switched Ethernet) is the backbone network of most modern civilian aircraft. For certification reasons, a guaranteed upper bound has to be determined on the end-to-end delay for all transmitted flows. Several approaches have been designed in order to analyze such delays. In this paper, we focus on the Forward End-to-End delays Analysis (FA). This method is based on real-time scheduling results. Our goal is to propose an improvement, that reduces the pessimism of the computed bounds, compared to earlier versions of the method. The improvement relies on the way the serialization of packets sharing a common link is taken into account. We also propose a comparative analysis on a simple configuration with two other methods (Network Calculus and the Trajectory approach).

[1]  John A. Clark,et al.  Holistic schedulability analysis for distributed hard real-time systems , 1994, Microprocess. Microprogramming.

[2]  Christian Fraboul,et al.  A Probabilistic Analysis of End-To-End Delays on an AFDX Avionic Network , 2009, IEEE Transactions on Industrial Informatics.

[3]  Laurent George,et al.  End‐to‐end response time with fixed priority scheduling: trajectory approach versus holistic approach , 2005, Int. J. Commun. Syst..

[4]  Rene L. Cruz,et al.  A calculus for network delay, Part I: Network elements in isolation , 1991, IEEE Trans. Inf. Theory.

[5]  Christian Fraboul,et al.  Applying and optimizing trajectory approach for performance evaluation of AFDX avionics network , 2009, 2009 IEEE Conference on Emerging Technologies & Factory Automation.

[6]  Jérôme Ermont,et al.  An improved timed automata approach for computing exact worst-case delays of AFDX sporadic flows , 2012, Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012).

[7]  Steven Martin,et al.  Holistic and Trajectory Approaches for Distributed Non-preemptive FP/DP* Scheduling , 2005, ICN.

[8]  Rolf Ernst,et al.  Improving formal timing analysis of switched ethernet by exploiting traffic stream correlations , 2014, 2014 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS).

[9]  Christian Fraboul,et al.  Improving the Worst-Case Delay Analysis of an AFDX Network Using an Optimized Trajectory Approach , 2010, IEEE Transactions on Industrial Informatics.

[10]  C. Fraboul,et al.  Applying Trajectory approach to AFDX avionics network , 2009 .

[11]  Christian Fraboul,et al.  Simulation for end-to-end delays distribution on a switched Ethernet , 2007, 2007 IEEE Conference on Emerging Technologies and Factory Automation (EFTA 2007).

[12]  Jean-Yves Le Boudec,et al.  Network Calculus: A Theory of Deterministic Queuing Systems for the Internet , 2001 .

[13]  Pascal Richard,et al.  Optimistic problems in the trajectory approach in FIFO context , 2013, 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA).

[14]  Jérôme Ermont,et al.  Methods for bounding end-to-end delays on an AFDX network , 2006, 18th Euromicro Conference on Real-Time Systems (ECRTS'06).

[15]  Pascal Richard,et al.  A Forward end-to-end delays Analysis for packet switched networks , 2014, RTNS.

[16]  Henri Bauer,et al.  Analyse pire cas de flux hétérogènes dans un réseau embarqué avion , 2011 .

[17]  J. Javier Gutiérrez,et al.  Response time analysis in AFDX networks with sub-virtual links and prioritized switches , 1996 .

[18]  Rene L. Cruz,et al.  A calculus for network delay, Part II: Network analysis , 1991, IEEE Trans. Inf. Theory.