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.
Type de document :
Communication dans un congrès
4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation - ISOLA 2010, Oct 2010, Heraclion, Greece. 2010
Liste complète des métadonnées

Littérature citée [31 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00551504
Contributeur : Nicolas Navet <>
Soumis le : lundi 3 janvier 2011 - 21:54:35
Dernière modification le : vendredi 20 avril 2018 - 15:44:24
Document(s) archivé(s) le : lundi 4 avril 2011 - 03:23:08

Fichier

PEGASE-ISoLA-2010.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00551504, version 1

Citation

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. 2010. 〈inria-00551504〉

Partager

Métriques

Consultations de la notice

540

Téléchargements de fichiers

337