Analyses de faisabilités pour l'ordonnancement de tâches en graphe dans les systèmes temps réels

L'objectif de cette thèse est de montrer comment apporter la garantie, que tout au long de la vie du système, des tâches associées à des traitements applicatifs respectent des propriétés de ponctualité. La ponctualité est généralement exprimée sous la forme d'une contrainte de temps de terminaison au plus tard, appelée échéance. Le modèle de tâches considéré dans cette thèse est le modèle de tâches sporadiques en graphe constitué de sous-tâches avec des contraintes de précédence. La première partie de ma thèse a consisté à faire une étude théorique de l'ordonnancement monoprocesseur pour des tâches en graphe. Nous avons proposé des méthodes d'analyse de faisabilité pour l'ordonnancement par priorité fixe (FP), par priorité dynamique (DP), notamment EDF (Earliest Deadline First) et FP/DP, ou les tâches sont ordonnancées d'abord selon un critère de priorité fixe, dénotant l'importance de la tâche puis localement sur un niveau de priorité, selon un critère d'ordonnancement dynamique. Une sous-tâche est préemptive ou non. La seconde parite de ma thèse consiste à étudier le problème d'ordonnancement d'une tâche en graphe, dans le cadre d'un problème de traitement de flux synchrones : Synchronous Data Flow (SDF), pour la conception d'un système de traitement audio et vidéo d'un téléphone portable. Nous avons réalisé cette validation en partenariat avec l'entreprise STMicroelectronics pour résoudre un problème d'ordonnancement de flux audio et vidéo dans un portable selon le modèle de tâches en graphe pour des applications multimédia. Les principales contributions de cette thèse concernent principalement les points suivants : - Une extension des résultats d'analyse de faisabilité avec l'ordonnancement à priorité fixe (FP) et EDF, FP/EDF et FP/FIFO pour l'ordonnancement de tâches en graphe. - Un nouvel algorithme d'ordonnancement pour un graphe synchrone de traitement de données multimédia (Synchronous Data Flow : SDF).PARIS12-Bib. électronique (940280011) / SudocSudocFranceF