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.