Stochastic upper bounds for heterogeneous flows using a Static Priority Queueing on an AFDX network

In the AFDX networks used in modern aircraft such as A380, Eth ernet frames are exchanged through avionic flows. Mapping of many avionic flows on multi switches Ethernet arch ite ture leads to variable end-to-end delays. Furthermore, there is a need to handle new classes of traffics with different priorities (voice, video, best-effort, ... ) on the same AFDX network with no consequences on existing avi onic flows. Consequently, previous works done in the context of homogeneous flows have to be extended in order to bo und the end-to-end transfer delay through the network of each class of traffic. In this paper, we present how stochastic upper bounds can be o btained when a static priority queueing service policy can be implemented on existing AFDX switches.

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

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

[3]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[4]  François Baccelli,et al.  Elements Of Queueing Theory , 1994 .

[5]  Wang Yi,et al.  Uppaal in a nutshell , 1997, International Journal on Software Tools for Technology Transfer.

[6]  Upamanyu Madhow,et al.  Fair scheduling with tunable latency: a round robin approach , 1999, Seamless Interconnection for Universal Services. Global Telecommunications Conference. GLOBECOM'99. (Cat. No.99CH37042).

[7]  George Kesidis,et al.  Worst-case performance of a buffer with independent shaped arrival processes , 2000, IEEE Communications Letters.

[8]  Cheng-Shang Chang,et al.  On the performance of multiplexing independent regulated inputs , 2001, SIGMETRICS '01.

[9]  Jean-Yves Le Boudec,et al.  Delay jitter bounds and packet scale rate guarantee for expedited forwarding , 2001, Proceedings IEEE INFOCOM 2001. Conference on Computer Communications. Twentieth Annual Joint Conference of the IEEE Computer and Communications Society (Cat. No.01CH37213).

[10]  Jean-Yves Le Boudec,et al.  Stochastic analysis of some Expedited Forwarding networks , 2002, Proceedings.Twenty-First Annual Joint Conference of the IEEE Computer and Communications Societies.

[11]  Peter Neumann,et al.  Deterministic real-time communication with switched Ethernet , 2002, 4th IEEE International Workshop on Factory Communication Systems.

[12]  Milan Vojnovic,et al.  Bounds for independent regulated inputs multiplexed in a service curve network element , 2003, IEEE Trans. Commun..

[13]  George Kesidis,et al.  A Class of Shaped Deficit Round-Robin (SDRR) Schedulers , 2004, Telecommun. Syst..

[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]  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).

[16]  J.-L. Scharbarg,et al.  Stochastic network calculus for end-to-end delays distribution evaluation on an avionics switched Ethernet , 2007, 2007 5th IEEE International Conference on Industrial Informatics.

[17]  Christian Fraboul,et al.  A generic simulation model for end-to-end delays evaluation on an avionics switched Ethernet , 2007 .