English version

Une approche géométrique pour la validation d'applications temps réel à contraintes strictes

Une approche géométrique pour la validation d'applications temps réel à contraintes strictes

Largeteau G, Chauvière B, Geniet D
Real Time Systems'2004, pages 15--33 - 2004
La validation hors ligne d'applications temps réel s'appuie en générale sur des modèles à états : elle pose le problème de l'explosion combinatoire. Nous proposons d'utiliser une approche géométrique pour modéliser les applications et d'exprimer l'ordonnançabilité en termes de propriétés topologiques et géométriques de ce modèle. Chaque tâche est représentée par un ensemble de point de R2. Un ensemble de point de Rn+1 obtenu par application d'opérations géométriques, représente le fonctionnement de l'application intégrant les partages de ressources et de processeurs. L'avantage de cette méthode est d'éviter l'énumération des états et donc de limiter l'explosion combinatoire.

Références BibTex

@InProceedings{LCG2004_1464,
author = {Largeteau, G and Chauvi\`ere, B and Geniet, D},
title = {Une approche g\'eom\'etrique pour la validation d'applications temps r\'eel \`a contraintes strictes.},
booktitle = {Real Time Systems'2004},
pages = {15--33},
year = {2004},
keywords = {temps r\'eel, validation, multiprocesseur, g\'eom\'etrie, ressources critiques},
}