Methods for bounding end-to-end delays on an AFDX network

Proceedings - Euromicro Conference on Real-Time Systems

Volumn 2006, Issue , 2006, Pages 193-202

  Charara, Hussein ^a   Scharbarg, Jean Luc ^a   Ermont, Jérôme ^a   Fraboul, Christian ^a  

^a IRIT   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; EMBEDDED SYSTEMS; ETHERNET; MATHEMATICAL MODELS; QUEUEING NETWORKS;

AVIONICS NETWORKS; INTEGRATED FUNCTIONS; NETWORK CALCULUS; SWITCHED ETHERNET TECHNOLOGIES;

AVIONICS;

EID: 33947642157     PISSN: 10683070     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ECRTS.2006.15     Document Type: Conference Paper

References (28)

1. http://www.uppaal.com.
2. ARINC 651, Aeronautical Radio Inc. ARINC specification 651. Design Guidance for Integrated Modular Avionics., 1991.
3. ARINC 653, Aeronautical Radio Inc. ARINC specification 653. Avionics application Software Standard Interface., 1997.
4. IEEE 802.1D, Local and Metropolitan Area Network: Media Access Control Level Bridging., 1998.
5. IEEE 802.3, Information technology., 1998.
6. ARINC 429, Aeronautical Radio Inc. ARINC specification 429. Digital Information Transfer System (DITS) parts 1,2,3., 2001.
7. ARINC 664, Aircraft Data Network, Part 1: Systems Concepts and Overview., 2002.
8. ARINC 664, Aircraft Data Network, Part 2: Ethernet Physical and Data Link Layer Specification., 2002.
9. ARINC 664, Aircraft Data Network, Part 7: Deterministic Networks., 2003.
10. R. Agrawal, R. Cruz, C. Okino, and R. Rajan. Performance bounds for flow control protocols. IEEE Transaction on Networking, 7(3), June 1999.
11. R. Alur and D. L. Dill. Theory of Timed Automata. Theoritical Computer Science, 126(2):183-235, 1994.
12. B. Bérard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci, and Ph. Schnoebelen. Systems and Software Verification. Model-Checking Techniques and Tools. Springer, 2001.
13. A. Burgueño Arjona. Vérification et synthèse de systèmes temporisés par des méthodes d'obervation et d'analyse paramétrique. PhD thesis, Ecole Nationale Supérieur de l'Aéronautique et de l'Espace, Toulouse, France, 1998.
14. C. Chang. On deterministic traffic regulation and service guarantee: a systematic approach by filtering. IEEE Transactions on Information Theory, 44, May 1998.
15. H. Charara and C. Fraboul. Modelling and simulation of an avionics full duplex switched ethernet. In Proceedings of AICT, Lisboa, Portugal, 2005.
16. R. Cruz. A calculus for network delay, part I. IEEE Transactions on Information Theory, 37(1):114-131, January 1991.
17. R. Cruz. A calculus for network delay, part II. IEEE Transactions on Information Theory, 37(1): 132-141, January 1991.
18. R. Cruz. Quality of service guarantees in virtual circuit switched networks. IEEE Journal of selected areas in communication, 13(6), August 1995.
19. J. Ermont, J.-L. Scharbarg, and C. Fraboul. Worst-case analysis of a mixed can/switched ethernet architecture. In Proceeding of the Real-Time Networked Systems Conference, Poitiers, France, 2006.
20. C. Fraboul and F. Frances. Applicability of Network Calculus to the AFDX. Technical Report PBAR-JD-728.0821/2002, 2002.
21. F. Frances, C. Fraboul, and J. Grieu. Using network calculus to optimize the AFDX network. In Proceedings of ERTS, Toulouse, France, 2006.
22. J. Grieu. Analyse et évaluation de techniques de commutation Ethernet pour l'interconnexion des systèmes avioniques. PhD thesis, INP-ENSEEIHT, France, 24 Sept. 2004.
23. J. Grieu, F. Frances, and C. Fraboul. Preuve de déterminisme d'un réseau embarqué avionique. In Actes du 10ème Colloque Francophone sur l'Ingenierie des Protocoles, Paris, 7-10 Octobre 2003.
24. J. Jasperneite, P. Neumann, M. Theis, and K. Watson. Deterministic Real-Time Communication with Switched Ethernet. In Proceedings of the 4th IEEE International Workshop on Factory Communication Systems, pages 11-18, Västeras, Sweden, Aug. 2002. IEEE Press.
25. K. G. Larsen, P. Pettersson, and W. Yi. UPPAAL in a Nutshell. International Journal on Software Tools for Technology Transfer, 1(1-2):134-152, 1997.
26. J. Le Boudec. Application of network calculus to guaranteed service networks. IEEE Transactions on Information Theory, 44, May 1998.
27. J.-Y. Le Boudec and P. Thiran. Network Calculus: A Theory of Deterministic Queuing Systems for the Internet, volume 2050 of Lecture Notes in Computer Science. Springer-Verlag, 2001. ISBN: 3-540-42184-X.
28. H. Sariowan, R. Cruz, and G. Polyzos. Scheduliing for quality of service guarantees via service curves. In Proceedings of the International Conference on Computer Communications and Networks, Las Vegas, 1995.