Une approche géométrique de la validation d'application temps-réel

Résumé : La validation hors-ligne d'application temps-réel à contraintes strictes pose généralement le problème de l'explosition combinatoire. Nous proposons d'utiliser une approche géométrique pour modéliser les applications temps-réel et de définir la notion d'ordonnançabilité en terme de propriétés topologiques et géométriques de ce modèle. Chaque tâche l'application est représentée par un ensemble de points de RxR. Un ensemble de points de R^{n+1} obtenu par application d'opérations géométrique telles que le produit cartésien, l'intersection, l'extrusion, représente le fonctionnement de l'application intégrant les partages de ressources et de processeurs. L'avantage de cette solution est d'éviter l'énumération des états et donc de limiter l'explosion combinatoire.
Type de document :
Communication dans un congrès
RTS Embedded Systems, 2005, Paris, 2005
Liste complète des métadonnées

https://hal.inria.fr/inria-00115144
Contributeur : Bernard Chauvière <>
Soumis le : lundi 20 novembre 2006 - 14:28:36
Dernière modification le : mercredi 5 septembre 2018 - 13:30:06

Identifiants

  • HAL Id : inria-00115144, version 1

Collections

Citation

Gaëlle Largeteau-Skapin, Bernard Chauvière, Dominique Geniet. Une approche géométrique de la validation d'application temps-réel. RTS Embedded Systems, 2005, Paris, 2005. 〈inria-00115144〉

Partager

Métriques

Consultations de la notice

24