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
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.

Domaines

Algorithme et structure de données [cs.DS]
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)

Nicolas Navet  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/inria-00551504

Soumis le : lundi 3 janvier 2011-21:54:35

Dernière modification le : jeudi 11 mai 2023-11:56:10

Archivage à long terme le : lundi 4 avril 2011-03:23:08

Télécharger pour visualiser

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENS-LYON UNIV-PARIS7 ONERA CNRS INRIA UNIV-LYON1 LIAFA UNIV-LORRAINE INRIA2 LORIA UDL
573 Consultations
426 Téléchargements

Partager

More