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

par Karim Traore

Thèse de doctorat en Informatique

Sous la direction de Francis Cottet et de Emmanuel Grolleau.


  • Résumé

    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.

  • Titre traduit

    Analysis and validation of real-time applications in context of transactions : application at the piloting of an UAV


  • Résumé

    We present a concrete case study of an embedded system and its implications in the theory of real-time scheduling. The development process of the embedded system controlling an unmanned aerial vehicle (UAV) pointed out some limitations in the classic modelling of concrete real-time systems because some hardware devices lead to a specific activation scheme of the tasks (e. G. Serial communication between active sensors and the processor). We had to define a new task model in order to take this particular scheme, which occurs frequently in real applications (aircraft and automotive systems). This is the model of serial transactions that we generalize to monotonic transactions. We present the case study of the UAV, and the aspects of real-time scheduling theory related to the monotonic and serial transactions (comparison with the transactions and the multiframe model). We give an exact characterization of the worst case response time in a pseudo-polynomial time for our model

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (273 p.)
  • Annexes : Bibliogr. [136] réf.

Où se trouve cette thèse ?

  • Bibliothèque : Université de Poitiers. Service commun de la documentation. Section Sciences, Techniques et Sport.
  • Disponible pour le PEB
  • Cote : 07/POIT/2261-B
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.