Minimizing the search space for computing exact worst-case delays of AFDX periodic flows

SIES 2011 - 6th IEEE International Symposium on Industrial Embedded Systems, Conference Proceedings

Volumn , Issue , 2011, Pages 294-301

  Adnan, Muhammad ^a   Scharbarg, Jean Luc ^a   Fraboul, Christian ^a  

^a UNIVERSITÉ DE TOULOUSE   (France)

Author keywords

AFDX network; Guided simulation; Schedulability analysis; Worst case delay analysis

Indexed keywords

AFDX NETWORK; AVIONICS FULL DUPLEX SWITCHED ETHERNETS; AVIONICS SYSTEMS; END TO END DELAY; END-TO-END COMMUNICATION; GUIDED SIMULATION; NETWORK CALCULUS; PERIODIC FLOW; SCHEDULABILITY ANALYSIS; SEARCH SPACES; TRAJECTORY APPROACH; UPPER BOUND; VIRTUAL LINK; WORST CASE;

ALGORITHMS; AVIONICS; DELAY CONTROL SYSTEMS; ETHERS; INDUSTRY;

EMBEDDED SYSTEMS;

EID: 80051993854     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SIES.2011.5953673     Document Type: Conference Paper

References (17)

1. M. Adnan, J.-L. Scharbarg, J. Ermont, and C. Fraboul. Model for worst-case delay analysis of an afdx network using timed automata. In Proc. of the 14th International Conference on Emerging Technologies and Factory Automation (WiP session), Bilbao, septembre 2010.
2. R. Alur and D. L. Dill. Theory of Timed Automata. Theoritical Computer Science, 126(2):183-235, 1994.
3. ARINC 664, Aircraft Data Network, Part 7: Deterministic Networks., 2003.
4. H. Bauer, J.-L. Scharbarg, and C. Fraboul. Applying trajectory approach to afdx avionics network. In Proc. of the 14th International Conference on Emerging Technologies and Factory Automation, pages 1-8, Mallorca, sepember 2009. IEEE.
5. H. Bauer, J.-L. Scharbarg, and C. Fraboul. Improving the worstcase delay analysis of an afdx network using an optimized trajectory approach. IEEE transactions on industrial informatics, 6(4):521-533, Novembre 2010.
6. 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.
7. H. Charara, J.-L. Scharbarg, J. Ermont, and C. Fraboul. Methods for bounding end-to-end delays on an AFDX network. In Proceedings of the 18th ECRTS, pages 193-202, Dresden, Germany, July 2006. (Pubitemid 46499705)
8. R. Cruz. A calculus for network delay, part I. IEEE Transactions on Information Theory, 37(1):114-131, January 1991.
9. R. Cruz. A calculus for network delay, part II. IEEE Transactions on Information Theory, 37(1):132-141, January 1991.
10. C. Fraboul and F. Frances. Applicability of Network Calculus to the AFDX. Technical Report PBAR-JD-728.0821/2002, 2002.
11. J. Goossens. Scheduling of offset free systems. Real-Time Systems, (2):239-258, March 2003.
12. M. Grenier, L. Havet, and N. Navet. Pushing the limits of can-scheduling frames with offsets provide s a major performance boost. 4th European Congress on Embedded Real Time Software, April 2008.
13. 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.
14. 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.
15. X. Li, J.-L. Scharbarg, and C. Fraboul. Improving end-toend delay upper bounds on an afdx network by integrating offsets in worst-case analysis. In Proc. of the 14th International Conference on Emerging Technologies and Factory Automation, Bilbao, septembre 2010.
16. S. Martin and P. Minet. Schedulability analysis of flows scheduled with fifo: application to the expedited forwarding class. In 20th International parallel and distributed processing symposium, Rhodes Island, Greece, April 2006.
17. J.-L. Scharbarg, F. Ridouard, and C. Fraboul. A probabilistic analysis of end-to-end delays on an AFDX network. IEEE transactions on industrial informatics, 5(1), February 2009.