Contributions à l'ordonnancement et l'analyse des systèmes temps réel critiques
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 actvie 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 dierent calculators of the real-time system. The rst 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 specication. The second contribution is about multiple criticality tasks. The aim of this model is to address the notion of criticity, as dened 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.
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 dié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écications 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 diérentes tâches, comme par exemple dans la norme DO-178B utilisée en aéronautique. Enn, 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 aectées à un processeur donné sans violation d'échéance.
Loading...