Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/inria-00115144
Contributor : Bernard Chauvière <>
Submitted on : Monday, November 20, 2006 - 2:28:36 PM
Last modification on : Tuesday, March 30, 2021 - 12:08:01 PM

Identifiers

  • 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, France. ⟨inria-00115144⟩

Share

Metrics

Record views

50