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

Marc Boyer, Nicolas Navet, Xavier Olive, Eric Thierry
2010 Lecture Notes in Computer Science  
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. This work has been partialy funded by French ANR agency under project id ANR-09-SEGI-009.
doi:10.1007/978-3-642-16558-0_13 fatcat:jur324yo4nbpddmjilrsdyyzyq