Abstract FR:

Cette thèse traite du problème odits : ordonnancement distribué temps réel sérialisable. Son objectif est d'établir la faisabilité d'un jeu de tâches sporadiques distribuées soumises a des contraintes temps réel et partageant des objets modifiables persistants. Un jeu de tâches odits est dit faisable ssi il existe un ordonnancement satisfaisant les contraintes de cohérence des objets et les contraintes temps réel. Le problème est d'autant plus difficile que les tâches ont une structure en graphe. Cette thèse propose une approche générale de résolution du problème odits. Cette approche consiste, d'abord, a concevoir un ordonnancement en-ligne imposant une exécution sérialisable des tâches. Elle consiste, ensuite, a établir hors-ligne les conditions de faisabilité d'un jeu de tâches donné pour cet ordonnancement. Pour ce faire, cette thèse préconise une méthode novatrice basée sur (i) la caractérisation de l'ensemble des scénarios pires cas possibles et (ii) la modélisation de l'exécution de ces scénarios sous forme d'un graphe orienté value. Les temps de réponse pires cas sont obtenus par le calcul des plus longs chemins dans ce graphe. Les conditions de faisabilité en découlent. Deux solutions particulières sont dérivées de cette approche : l'une basée sur un ordonnancement périodique selon une séquence prédéfinie et l'autre basée sur un ordonnancement fifo. Pour chacune de ces solutions, les conditions de faisabilité nécessaires et suffisantes du jeu de tâches considéré sont établies. La complexité de ces conditions de faisabilité étant élevée, nous proposons des conditions de faisabilité de moindre complexité qui ne sont généralement que suffisantes. Cette thèse permet également d'aider le concepteur dans son choix du meilleur ordonnancement pour un jeu de tâches donné. Les résultats établis sont concrétisés par la réalisation de l'outil oodits qui se prononce sur la faisabilité d'un jeu de tâches pour les deux ordonnancements étudiés.