The PEGASE project: precise and scalable temporal analysis for aerospace communication systems with Network Calculus - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2010

The PEGASE project: precise and scalable temporal analysis for aerospace communication systems with Network Calculus

Abstract

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.
Fichier principal
Vignette du fichier
PEGASE-ISoLA-2010.pdf (166.61 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

inria-00551504 , version 1 (03-01-2011)

Identifiers

  • HAL Id : inria-00551504 , version 1

Cite

Marc Boyer, Nicolas Navet, Xavier Olive, Eric Thierry. The PEGASE project: precise and scalable temporal analysis for aerospace communication systems with Network Calculus. 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation - ISOLA 2010, Oct 2010, Heraclion, Greece. ⟨inria-00551504⟩
554 View
408 Download

Share

Gmail Mastodon Facebook X LinkedIn More