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

Quantification of the unfeasability rate of hard real-time applications

• Auteur / Autrice : Gaëlle Largeteau-Skapin
• Direction : Francis Cottet, Dominique Geniet
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance en 2004
• Etablissement(s) : Poitiers
• Ecole(s) doctorale(s) : École doctorale Sciences pour l'ingénieur et aéronautique (Poitiers1992-2008)
• Partenaire(s) de recherche : Autre partenaire : Ecole nationale supérieure de mécanique et d'aérotechnique (Chasseneuil-du-Poitou, Vienne ; 1986-....) - Université de Poitiers. UFR des sciences fondamentales et appliquées

Mots clés

Mots clés contrôlés

Géométrie discrète

Théorie des automates mathématiques

Ordonnancement (gestion)

Logiciels -- Validation

Résumé

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.

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.