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

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.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.POITIERS-BU Sciences (861942102) / SudocSudocFranceF