Une approche géométrique de la validation d'application temps-réel - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2005

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.
Fichier non déposé

Dates et versions

inria-00115144 , version 1 (20-11-2006)

Identifiants

  • HAL Id : inria-00115144 , version 1

Citer

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, France. ⟨inria-00115144⟩
40 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More