Contributions à l'ordonnancement et l'analyse des systèmes temps réel critiques

par François Dorin

Thèse de doctorat en Informatique et applications

Sous la direction de Pascal Richard, Michaël Richard et de Emmanuel Grolleau.


  • Résumé

    Dans nos travaux, nous nous sommes intéressés aux politiques d'ordonnancement en-ligne, pour lesquelles l'ordre d'exécution des tâches est déterminé sur la base des tâches actives dans le système et sans connaissance a priori des tâches qui arriveront dans le futur. Cette problématique s'étend aux réseaux informatiques pour ordonnancer les messages sur le réseau informatique interconnectant les différents calculateurs du système temps réel. La première contribution concerne le placement et ordonnancement simultanés des tâches dans un système temps réel distribué, permettant de minimiser le nombre de processeurs nécessaires pour respecter les spécifications temporelles des tâches. La seconde contribution concerne les tâches à criticité multiple. L'objectif de ce modèle est de prendre en compte la notion de criticité des différentes tâches, comme par exemple dans la norme DO-178B utilisée en aéronautique. Enfin, nous nous sommes intéressés aux systèmes multiprocesseurs ordonnancés par des algorithmes d'ordonnancement semi-partitionné. Cette classe d'algorithme utilise une stratégie par partitionnement pour répartir les tâches parmi les processeurs tout en autorisant la migration des tâches qui ne peuvent pas être actées à un processeur donné sans violation d'échéance.

  • Titre traduit

    Contributions to the scheduling and analysis of critical real-time systems


  • Résumé

    In our works, we were interested by on-line scheduling algorithms, for which the order of the execution of the tasks is determined only by the knowledge of the active task set, that is to say without any knowledge of the tasks which may arrive in the future. This issue extends on networks to schedule messages on the network which interconnects the different calculators of the real-time system. The first contribution deals with the task allocation on the processors and the priority assignment of the tasks in a distributed real-time system, which minimizes the number of processors needed to meet the task temporal specification. The second contribution is about multiple criticality tasks. The aim of this model is to address the notion of criticity, as defined in the DO-178B aeronautical standard. Finally, we were interested by multiprocessor systems scheduled using a semi-partitioned algorithm. This kind of algorithm uses a partitioned strategy in order to share the tasks among the processors and allow migrations for tasks which cannot be assigned to a given processor without missing a deadline.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (X-154 p.)
  • Annexes : Bibliogr. 97 réf.

Où se trouve cette thèse ?

  • Bibliothèque : Université de Poitiers. Service commun de la documentation. Section Sciences, Techniques et Sport.
  • Non disponible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.