Quantification du taux d'invalidité d'applications temps réel à contraintes strictes

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'agit, lorsqu'une application est invalide, d'identifier les causes de l'invalidité et de proposer des solutions. Dans cette thèse, nous étudions la définition de mesures d'invalidité, à partir de deux modèles. Le premier, basé sur les langages rationnels, possède une grande puissance d'expression (et nous permet d'obtenir un certain nombre de résultats théoriques) mais n'est pas adapté à la définition d'une mesure. Une analyse structurelle de ce modèle à permis d'en définir un second, géométrique, dans lequel une mesure est définie sur la base d'une distance géométrique. Les systèmes que nous traitons utilisent des ressources critiques et fonctionnents sur des architectures multiprocesseurs. Les tâches sont périodiques, non réentrantes, à départ différés.