Simulation for end-to-end delays distribution on a switched Ethernet

AFDX (Avionics Full Duplex Switched Ethernet, ARINC 664) used for modern aircraft such as Airbus A380 represents a major upgrade in both bandwidth and capability for aircraft data networks. Its reliance on Ethernet technology helps to lower some of the implementation costs, though the requirement for guaranteed service does present challenges to system designers. Thus, the problem is to prove that no frame will be lost by the network (no switch queue will overflow) and to evaluate the end-to-end transfer delay through the network. Several approaches have been proposed for this evaluation. Network calculus gives a guaranteed upper bound on end-to-end delays, while simulation produces more accurate results on a given set of scenarios. Main problem of simulation is to find a representative subset among the huge number of possible scenarios. In this paper, we propose an original and promising approach to drastically reduce the number of possible scenarios. We illustrate this approach on a realistic industrial network configuration.

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

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

[3]  Jean-Yves Le Boudec,et al.  Application of Network Calculus to Guaranteed Service Networks , 1998, IEEE Trans. Inf. Theory.

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

[5]  F. Frances,et al.  Using network calculus to optimize the AFDX network , 2006 .

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

[7]  Paul Prisaznuk,et al.  ARINC Specification 653, Avionics Application Software Standard Interface , 2006, Avionics.

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

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

[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]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[12]  Hui Zhang,et al.  Service disciplines for guaranteed performance service in packet-switching networks , 1995, Proc. IEEE.

[13]  J. K. Meer ARINC aircraft data network working group 664 , 2002, Proceedings. The 21st Digital Avionics Systems Conference.