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 Access content directly
Conference Papers Year : 2005

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

Abstract

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.
Not file

Dates and versions

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

Identifiers

  • HAL Id : inria-00115144 , version 1

Cite

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⟩

Collections

UNIV-POITIERS LIAS
38 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More