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 Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

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

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

  • HAL Id : inria-00551504 , version 1

Citer

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⟩
547 Consultations
407 Téléchargements

Partager

Gmail Facebook X LinkedIn More