An improved timed automata approach for computing exact worst-case delays of AFDX sporadic flows

IEEE International Conference on Emerging Technologies and Factory Automation, ETFA

Volumn , Issue , 2012, Pages

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

^a UNIVERSITÉ DE TOULOUSE   (France)

Author keywords

AFDX network; Timed Automata; UPPAAL Modelling; Worst case delay analysis

Indexed keywords

AVIONICS FULL DUPLEX SWITCHED ETHERNETS; AVIONICS SYSTEMS; END-TO-END COMMUNICATION; INDUSTRIAL SIZE; NETWORK CALCULUS; TIMED AUTOMATA; TRAJECTORY APPROACH; WORST-CASE DELAY ANALYSIS;

ETHERNET; FACTORY AUTOMATION;

AUTOMATA THEORY;

EID: 84876364447     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ETFA.2012.6489576     Document Type: Conference Paper

References (19)

1. http://tech.groups.yahoo.com/group/uppaal/message/1609.
2. M. Adnan, J.-L. Scharbarg, J. Ermont, and C. Fraboul. An improved timed automata model for computing exact worst-case delays of AFDX periodic flows. In Proc. of the 16th ETFA (WiP session), Toulouse, Septembre 2011.
3. M. Adnan, J.-L. Scharbarg, and C. Fraboul. Minimizing the search space for computing exact worst-case delays of AFDX periodic flows. In Proc. of the 6th SIES, Vasteras, June 2011.
4. R. Alur and D. L. Dill. Theory of Timed Automata. Theoritical Computer Science, 126(2):183-235, 1994.
5. ARINC 664, Aircraft Data Network, Part 7: Deterministic Networks., 2003.
6. H. Bauer, J.-L. Scharbarg, and C. Fraboul. Applying and optimizing trajectory approach for performance evaluation of AFDX avionics network. In Proc. of the 14th International Conference on Emerging Technologies and Factory Automation, pages 1-8, Mallorca, september 2009. IEEE.
7. H. Bauer, J.-L. Scharbarg, and C. Fraboul. Improving the worst-case delay analysis of an AFDX network using an optimized trajectory approach. IEEE transactions on industrial informatics, 6(4):521-533, Novembre 2010.
8. 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.
9. 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.
10. R. Cruz. A calculus for network delay, part I. IEEE Transactions on Information Theory, 37(1):114-131, January 1991.
11. R. Cruz. A calculus for network delay, part II. IEEE Transactions on Information Theory, 37(1):132-141, January 1991.
12. C. Fraboul and F. Frances. Applicability of Network Calculus to the AFDX. Technical Report PBAR-JD- 728.0821/2002, 2002.
13. J. Goossens. Scheduling of offset free systems. Real-Time Systems, (2):239-258, March 2003.
14. M. Grenier, L. Havet, and N. Navet. Pushing the limits of CAN - scheduling frames with offsets provides a major performance boost. 4th European Congress on Embedded Real Time Software, April 2008.
15. K. G. Larsen, P. Pettersson, andW. Yi. UPPAAL in a Nutshell. International Journal on Software Tools for Technology Transfer, 1(1-2):134-152, 1997.
16. 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.
17. X. Li, J.-L. Scharbarg, and C. Fraboul. Improving endto- end delay upper bounds on an AFDX network by integrating offsets in worst-case analysis. In Proc. of the 14th ETFA, Bilbao, septembre 2010.
18. 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.
19. H. Zhang. Service disciplines for guaranteed performance service in packet-switching networks. Proceedings of the IEEE, 83(10):1374-1396, October 1995.