Thèse soutenue

Analyse et validation des applications temps réel en présence de transactions : application au pilotage d'un drone miniature

FR  |  
EN
Auteur / Autrice : Karim Traore
Direction : Francis CottetEmmanuel Grolleau
Type : Thèse de doctorat
Discipline(s) : Informatique
Date : Soutenance en 2007
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 : Université de Poitiers. UFR des sciences fondamentales et appliquées

Mots clés

FR

Résumé

FR  |  
EN

L’étude que nous présentons traite de l’ordonnancement d’un modèle de tâches tems réel spécifique rencontré dans le développement d’une application concrète. Le développement de du contrôle embarqué d’un drone miniature a montré des limitations dans les modèles classiques d’ordonnancement pour la prise en compte de certains aspects matériels (notamment mode de communication sériel entre des capteurs actifs et le système de contrôle). La prise en compte de ces aspects nous a amenés à définir un modèle de tâches particuliers : la transaction série, que nous avons généralisé au modèle des transactions monotoniques. Nous présentons le système de contrôle du drone, et les aspects liés à l’ordonnancement des modèles de tâches proposés, qui correspondent à de nombreux cas réels (avionique, contrôle automobile). Nous comparons nos modèles à l’existant (transactions, modèles multiframes), et dégageons des tests d’ordonnançabilité de complexité pseudo-polynomiale.