Quantification du taux d'invalidité d'applications temps réel à contraintes strictes
Institution:
PoitiersDisciplines:
Directors:
Abstract EN:
This work is part of an assistance tool conception project for hard real time application specification: when an application is not feasible, we identify the issues, we propose solutions. This process stands on unfeasability measures, based on real time application models. The first model, based on regular languages, has a great expression capacity (and allows us to reach some theoretical results) it is useful for evaluate the security level of softwares when they are feasible. A structural analysis of this model lead us to upgrade it into a geometrical model, useful to define an feasability measure which can evaluate the degrees of both feasability (when the application is valid) and unfeasability (when it is not). The systems we deal with use resources and run on multiprocessor architectures. Tasks are periodic, can not be parallelised and have different start times.
Abstract FR:
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) il permet d' évaluer le niveau de sécurité d'une application lorsqu'elle est valide. Une analyse structurelle de ce modèle a permis d'en définir un second, géométrique, dans lequel une mesure dans le cas d'applications invalides est définie 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éparts différés.