Quantification du taux d'invalidité d'applications temps réel : une approche géométrique

Gaëlle Largeteau-Skapin (1, 2) , Dominique Geniet (1)

1 LISI [Poitiers] - Laboratoire d'informatique scientifique et industrielle [EA 1232]
2 SIC - SIGNAL-IMAGE-COMMUNICATION

Ce travail s'intègre dans un projet de conception d'outils d'aide à la spécification d'applications temps-réel à contraintes strictes : il s'agir, lorsqu'une application est invalide, d'identifier les causes de l'invalidité. Nous nous basons sur un modèle géométrique pour les applications temps-réel. Une mesure est définie à partir de ce modèle sur la base d'une distance géométrique. Les systèmes que nous traitons utilisent des ressources critiques et fonctionnent sur des architectures multiprocesseurs. Les tâches sont périodiques, non réentrantes, à départ différés.

Mots clés: temps-réel; validation temporelle; multiprocesseurs; géométrie discrète; temps-réel

Domaines: Systèmes embarqués; Modélisation et simulation

Gaëlle Largeteau-Skapin, Dominique Geniet. Quantification du taux d'invalidité d'applications temps réel : une approche géométrique. 13th International Conference on Real-Time Systems (RTS'2005), Apr 2004, Paris, France. ⟨hal-00346274⟩