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 Thiran, Patrick Network Calculus, volume 2050 of LNCS Springer Verlag 2001
- Baccelli, Francois Cohen, Guy Olsder, Geert Jan Quadrat, Jean-Pierre “Synchronization and Linearity: An Algebra for Discrete Event Systems” 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 Margaria, T. Stepen, B. 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 Grieu, Jerôme Using network calculus to optimize AFDX network Proceeding of the 3thd European congress on Embedded Real Time Software (ERTS06) Toulouse January 2006
- Boyer, M. PEGASE project 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 Fraboul, Christian Tightening end to end delay upper bound for AFDX network with rate latency FCFS servers using network calculus Proc. of the 7th IEEE Int. Workshop on Factory Communication Systems Communication in Automation (WFCS 2008) 11 20 IEEE industrial Electrony Society May 21 23 2008
- Boyer, Marc Half-modeling of shaping in FIFO net with network calculus 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 18 1 3 49 2008
- RealTime-at-Work “Minplus-Console: a (Min,+) algebra interpreter for Network Calculus” http://www.realtimeatwork.com/downloads/
- RealTime-at-Work “RTaW-Generator: code and GUI generation from UML specifications” 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