The PEGASE Project: Precise and Scalable Temporal Analysis for Aerospace Communication Systems with Network Calculus

  • Marc Boyer
  • Nicolas Navet
  • Xavier Olive
  • Eric Thierry
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6415)


With the increase of critical data exchanges in embedded real-time systems, the computation of tight upper bounds on network traversal times is becoming a crucial industrial need especially in safety critical systems. To address this need, the French project PEGASE grouping academics and industrial partners from the aerospace field has been undertaken to improve some key aspects of the Network Calculus and its implementation.


Controller Area Network Virtual Link Schedulability Analysis Industrial Context Arrival Curve 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Le Boudec, J.Y., Thiran, P.: Network Calculus. LNCS, vol. 2050, p. 3. Springer, Heidelberg (2001), zbMATHGoogle Scholar
  2. 2.
    Chang, C.S.: Performance Guarantees in communication networks. In: Telecommunication Networks and Computer Systems. Springer, Heidelberg (2000)Google Scholar
  3. 3.
    AEEC: Arinc 664p7-1 aircraft data network, part 7, avionics full-duplex switched ethernet network. Technical report, Airlines Electronic Engineering Committee (September 2009)Google Scholar
  4. 4.
    ECSS: Spacewire – links, nodes, routers and networks. Technical Report ECSS-E-ST-50-12C, European cooperation for space standardization (ECSS), ESA-ESTEC, Requirements & standards division, Noordwijk, The Netherland (July 31, 2008)Google Scholar
  5. 5.
    Bengtsson, J., Larsen, K.G., Larsson, F., Pettersson, P., Yi, W.: Uppaal - a tool suite for automatic verification of real-time systems. In: Alur, R., Sontag, E.D., Henzinger, T.A. (eds.) HS 1995. LNCS, vol. 1066, pp. 232–243. Springer, Heidelberg (1996)CrossRefGoogle Scholar
  6. 6.
    Hune, T., Romijn, J., Va, F.: Linear parametric model checking of timed automata. Journal of Logic and Algebraic Programming (2001)Google Scholar
  7. 7.
    Tindell, K., Clark, J.: Holistic schedulability analysis for distributed hard real-time systems. Microprocess. Microprogram. 40(2-3), 117–134 (1994)CrossRefGoogle Scholar
  8. 8.
    Davis, R.I., Burns, A., Bril, R.J., Lukkien, J.J.: Controller area network (CAN) schedulability analysis: Refuted, revisited and revised. Real-Time Systems 35(3), 239–272 (2007)CrossRefGoogle Scholar
  9. 9.
    Migge, J.: L’ordonnancement sous contraintes temps réel: un modele á base de trajectoires – Real-time scheduling: a trajectory based model. PhD thesis, Univesity of Nice (1999)Google Scholar
  10. 10.
    Martin, S., Minet, P., George, L.: The Trajectory Approach for the End-to-End Response Times with Non-preemptive FP/EDF*. In: Dosch, W., Lee, R.Y., Wu, C. (eds.) SERA 2004. LNCS, vol. 3647, pp. 229–247. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  11. 11.
    Cruz, R.L.: A calculus for network delay, part I: Network elements in isolation. IEEE Transactions on Information Theory 37(1), 114–131 (1991)MathSciNetCrossRefzbMATHGoogle Scholar
  12. 12.
    Cruz, R.L.: A calculus for network delay, part II: Network analysis. IEEE Transactions on Information Theory 37(1), 132–141 (1991)MathSciNetCrossRefzbMATHGoogle Scholar
  13. 13.
    Fidler, M.: A survey of deterministic and stochastic service curve models in the network calculus. IEEE Communications Surveys & Tutorials 12(1) (2010)Google Scholar
  14. 14.
    Baccelli, F., Cohen, G., Olsder, G.J., Quadrat, J.-P.: Synchronization and Linearity, An algebra for discrete event systems. John Wiley and Son, Chichester (1992) ISBN: 978-0471936091, zbMATHGoogle Scholar
  15. 15.
    Tindell, K.W., Burns, A.: Guaranteeing message latencies on controller area network (CAN). In: Proceedings of 1st International CAN Conference, pp. 1–11 (1994)Google Scholar
  16. 16.
    Schmitt, J., Zdarsky, F., Fidler, M.: Delay bounds under arbitrary multiplexing: When network calculus leaves you in the lurch. In: Proc. of the 27th IEEE International Conference on Computer Communications, INFOCOM 2008 (2008)Google Scholar
  17. 17.
    Lenzini, L., Mingozzi, E., Stea, G.: Delay bounds for FIFO aggegates: a case study. Computer Communications 28, 287–299 (2004)CrossRefGoogle Scholar
  18. 18.
    Thiele, L., Chakraborty, S., Naedele, M.: Real-time calculus for scheduling hard real-time systems. In: Proceedings of ISCAS 2000 (2000)Google Scholar
  19. 19.
    Jiang, Y., Liu, Y.: Stochastic Network Calculus. In: Computer Communication and Networks. Springer, Heidelberg (2009)Google Scholar
  20. 20.
    Schmitt, J.B., Zdarsky, F.A.: The DISCO network calculator - a toolbox for worst case analysis. In: Proceedings of the First International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS 2006), Pisa, Italy. ACM, New York (November 2006)Google Scholar
  21. 21.
    Andrews, M.: Instability of FIFO in session-oriented networks. In: Proceedings of the eleventh annual ACM-SIAM symposium on Discrete algorithms (SODA 2000), pp. 440–447. SIAM, Philadelphia (2000)Google Scholar
  22. 22.
    Rizzo, G., Le Boudec, J.Y.: Stability and delay bounds in heterogeneous networks of aggregate schedulers. In: Proc. of the 27th IEEE Conference on Computer Communications (INFOCOM 2008 ), April 13-18, pp. 1490–1498 (2008)Google Scholar
  23. 23.
    Jonsson, B., Perathoner, S., Thiele, L., Yi, W.: Cyclic dependencies in modular performance analysis. In: Proc. of the ACM International Conference on Embedded Software, EMSOFT (2008)Google Scholar
  24. 24.
    Charara, H., Fraboul, C.: Modelling and simulation of an avionics full duplex switched ethernet. In: Advanced Industrial Conference on Telecommunications/Service Assurance with Partial and Intermittent Resources Conference/E-Learning on Telecommunications Workshop (AICT/SAPIR/ELETE 2005), pp. 207–212. IEEE Computer Society, Los Alamitos (2005)CrossRefGoogle Scholar
  25. 25.
    Frances, F., Fraboul, C., Grieu, J.: Using network calculus to optimize AFDX network. In: Proceeding of the 3thd European congress on Embedded Real Time Software (ERTS 2006), Toulouse (January 2006)Google Scholar
  26. 26.
    Boyer, M., Fraboul, C.: 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), IEEE Industrial Electrony Society, May 21-23, pp. 11–20 (2008)Google Scholar
  27. 27.
    Bouillard, A., Jouhet, L., Thierry, E.: Service curves in Network Calculus: dos and don’ts. Research Report RR-7094, INRIA (2009)Google Scholar
  28. 28.
    Bouillard, A., Jouhet, L., Thierry, E.: Tight performance bounds in the worst-case analysis of feed-forward networks. In: Proc. of the 19th IEEE International Conference on Computer Communications (IEEE INFOCOM 2010), pp. 1–9 (14-19, 2010)Google Scholar
  29. 29.
    Bouillard, A., Jouhet, L., Thierry, E.: Tight performance bounds in the worst-case analysis of feed-forward networks. Research Report RR-7012, INRIA (2009)Google Scholar
  30. 30.
    Bouillard, A., Jouhet, L., Thierry, E.: Comparison of different classes of service curves in network calculus. In: Proc. of the 10th International Workshop on Discrete Event Systems (WODES 2010), Technische Universität Berlin, August 30 - September 1 (2010)Google Scholar
  31. 31.
    Lenzini, L., Martorini, L., Mingozzi, E., Stea, G.: Tight end-to-end per-flow delay bounds in FIFO multiplexing sink-tree network. Performance Evaluations 63, 956–987 (2005)CrossRefGoogle Scholar
  32. 32.
    Boyer, M.: NC-maude: maude for computation of worst bounds on real-time (embedded) networks. Technical Report 1/16417, ONERA (2010)Google Scholar
  33. 33.
    Boyer, M.: PEGASE home page (2010),
  34. 34.
    RealTime-at-Work (RTaW): Downloadable software,

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Marc Boyer
    • 1
  • Nicolas Navet
    • 2
  • Xavier Olive
    • 3
  • Eric Thierry
    • 4
  1. 1.ONERATououse Cedex 4France
  2. 2.INRIA / RealTime-at-Work (RTaW)Villers-lès-NancyFrance
  3. 3.Research DepartmentThales Alenia SpaceCannes La Bocca Cedex
  4. 4.LIP, ENS LyonLyon Cedex 07France

Personalised recommendations