• Langue : Français
• Discipline : Sciences mathématiques
• Identifiant : Inconnu
• Type de mémoire : Habilitation à diriger des recherches
• Date de soutenance : 01/01/2008

Résumé en langue originale

Cette HDR présente différents travaux dont le dénominateur commun est l'utilisation de la ressource temps pour d'une part ordonnancer efficacement des processus ou requêtes et d'autre part caractériser le comportement d'un système observé. Ces deux apports se retrouvent dans les trois chapitres qui constituent le mémoire. Dans le premier chapitre, nous nous sommes intéressés aux systèmes qui gèrent des applications manipulant une grande quantité de données fortement soumises à des contraintes de temps, appelés SGBDs temps réel. Dans ce cadre, nous avons essayé de traiter divers problèmes (contrôle de concurrence, validation, surcharge) en essayant de montrer à chaque fois comment prendre en compte les contraintes temporelles sans perdre l'intégrité des données. Le second chapitre traite d'un problème pertinent que nous avons essayé de résoudre qui concerne la conception d'applications temps réel par assemblage de composants en garantissant le respect des contraintes temporelles. Les travaux présentés ici proposent : d'une part, un modèle de composants temps réel qui permet une meilleure compréhension de l'architecture de composants et qui facilite la conception et l'analyse des applications temps réel; et d'autre part, un système de types qui sert à vérifier la compatibilité et la substituabilité des composants au niveau syntaxique, mais aussi la compatibilité et la substituabilité via des automates temporisés d'un point de vue comportemental et temporel. Outre les systèmes contraints par le temps, nous nous sommes intéressés aux plates-formes embarquées Java Card comme exemple de systèmes contraints par la ressource mémoire et la puissance de calcul. Dans ce chapitre, nous avons défini une méthode de mesure des temps d'exécution et d'élimination du bruit de mesure en vue de l'évaluation des performances et de la caractérisation des plateformes Java Card industrielles. Ce travail a d'ailleurs reçu un prix dans une conférence industrielle.