Discrete Geometry Applied in Hard Real-Time Systems Validation

Abstract : 0ff-line validation of hard real-time systems usually stands on state based models. Such approaches always deal with both space and time explosions. This paper proposes a geometrical approach to model applications and to compute operational feasability from topological properties. Thanks to this model, we can decide the feasability of real-time synchronous systems composed of periodic tasks, sharing resources, running on multiprocessor architectures. This method avoids state ennumeration and therefore limits both space and time explosion.
Type de document :
Communication dans un congrès
Andres, Eric; Damiand, Guillaume; Lienhardt, Pascal. 12th International Conference, DGCI 2005, Apr 2005, Poitiers, France. Springer Berlin / Heidelberg, 3429, pp.23-33, 2005, Lecture Notes in Computer Science. 〈10.1007/b135490〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00345992
Contributeur : Gaëlle Largeteau-Skapin <>
Soumis le : jeudi 11 décembre 2008 - 09:26:00
Dernière modification le : lundi 21 mars 2016 - 17:28:48
Document(s) archivé(s) le : mardi 8 juin 2010 - 00:00:17

Fichier

DGCI.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Gaëlle Largeteau-Skapin, Dominique Geniet, Éric Andres. Discrete Geometry Applied in Hard Real-Time Systems Validation. Andres, Eric; Damiand, Guillaume; Lienhardt, Pascal. 12th International Conference, DGCI 2005, Apr 2005, Poitiers, France. Springer Berlin / Heidelberg, 3429, pp.23-33, 2005, Lecture Notes in Computer Science. 〈10.1007/b135490〉. 〈hal-00345992〉

Partager

Métriques

Consultations de la notice

80

Téléchargements de fichiers

95