This content is not included in your SAE MOBILUS subscription, or you are not logged in.
PEGASE - A Robust and Efficient Tool for Worst-Case Network Traversal Time Evaluation on AFDX
ISSN: 0148-7191, e-ISSN: 2688-3627
Published October 18, 2011 by SAE International in United States
Annotation ability available
Avionics systems distributed on AFDX networks are subject to stringent real-time constraints that require the system designer to have techniques and tools to guarantee the worst case traversal time of the network (WCTT) and thus ensure a correct global real-time behavior of the distributed applications/functions. The network calculus is an active research area based on the (min,+) algebra, that has been developed to compute such guaranteed bounds. There already exists several academics implementations but no up to date industrial implementation. To address this need, the PEGASE project gathers academics and industrial partners to provide a high quality, efficient and safe tool for the design of avionic networks using worst case performance guarantees.
The PEGASE software is an up-to-date software in the sense that it integrates the latest results of the theories, in tight cooperation with academics researchers. The PEGASE software is also a safe tool: it relies on a strong mathematical background, its algorithms are described in a formal document, and it shares unitary tests with some academics tools. The PEGASE software is a usable tool: in particular, it has been designed from the requirements expressed by embedded network engineers. Finally, the PEGASE software is an efficient tool: it provides bounds close to the actual real worst-case, avoiding over provisioning of resources. This paper presents the mathematical background of the tool, its architecture and some first results on realistic case studies.
CitationBoyer, M., Migge, J., and Fumey, M., "PEGASE - A Robust and Efficient Tool for Worst-Case Network Traversal Time Evaluation on AFDX," SAE Technical Paper 2011-01-2711, 2011, https://doi.org/10.4271/2011-01-2711.
- Chang, Cheng-Shang. Performance Guarantees in communication networks. Telecommunication Networks and Computer Systems. Springer, 2000.
- Le Boudec, Jean-Yves and Thiran, Patrick. Network Calculus, volume 2050 of LNCS, Springer Verlag, 2001.
- Baccelli, Francois, Cohen, Guy, Olsder, Geert Jan, and Quadrat, Jean-Pierre, “Synchronization and Linearity: An Algebra for Discrete Event Systems”, volume ISBN; 978-0471936091. John Wiley and Son, 1992. http://cermics.enpc.fr/coheng//SED/book-online.html.
- Boyer, Marc. NC-maude: a rewriting tool to play with network calculus. In Margaria, T. and Stepen, B., editors, Proceedings of the 4th International Symposium On Leveraging Applications of Formal Methods, Verication and Validation (ISoLA 2010), LNCS. Springer, 2010.
- AEEC, “Arinc 664p7-1aircraft data network, part 7, avionics full-duplex switched Ethernet network”. Airlines Electronic Engineering Committee, September 2009.
- Grieu, Jerôme. Analyse et évaluation de techniques de commutation Ethernet pour l'interconnexion des systèmes avioniques. PhD thesis, Institut National Polytechnique de Toulouse (INPT), Toulouse, Juin 2004.
- Frances, Fabrice, Fraboul, Christian, and Grieu, Jerôme. Using network calculus to optimize AFDX network. In Proceeding of the 3thd European congress on Embedded Real Time Software (ERTS06), Toulouse, January 2006.
- Boyer, M., PEGASE project home page. http://sites.onera.fr/pegase, 2010.
- ECSS, “Spacewire - links, nodes, routers and networks”, ECSS-E-ST-50-12C, European cooperation for space standardization (ECSS), ESA-ESTEC, Requirements & standards division, July 2008.
- Boyer, Marc and Fraboul, Christian. Tightening end to end delay upper bound for AFDX network with rate latency FCFS servers using network calculus. In Proc. of the 7th IEEE Int. Workshop on Factory Communication Systems Communication in Automation (WFCS 2008), pages 11-20. IEEE industrial Electrony Society, May 21-23 2008.
- Boyer, Marc. Half-modeling of shaping in FIFO net with network calculus. In Proc. of the 18th International Conference on Real- Time and Network Systems (RTNS 2010), Toulouse, France, November 4-5 2010.
- Cruz, Rene L.. A calculus for network delay, part I: Network elements in isolation. IEEE Transactions on information theory, 37(1):114-131, January 1991.
- Cruz, Rene L.. A calculus for network delay, part II: Network analysis. IEEE Transactions on information theory, 37(1):132-141, January 1991.
- Bouillard, Anne, Thierry, Éric, “An Algorithmic Toolbox for Network Calculus”, Journal of Discrete Event Dynamic Systems, Vol. 18(1), pages 3-49, 2008
- RealTime-at-Work, “Minplus-Console: a (Min,+) algebra interpreter for Network Calculus”, available for downloadable at url: http://www.realtimeatwork.com/downloads/.
- RealTime-at-Work, “RTaW-Generator: code and GUI generation from UML specifications”, see: http://www.realtimeatwork.com/software/rtaw-generator/, 2008.
- Martin, Steven, Minet, Pascale, George, Laurent, “The trajectory approach for the end-to-end response times with non-preemptive FP/EDF*”, Proceedings of the Int. Conf. on Software Engineering Research and Applications (SERA'04). Volume 3647 of LNCS., Springer, 2004.