L'ordonnancement sous contraintes temps-reel : un modele a base de trajectoires

L'activite de controle et de commande d'un processus physique est souvent implantee sous forme d'un ensemble de taches recurrentes. Le comportement correct (faisabilite) d'un tel systeme temps-reel est guaranti lorsque chaque tache se termine avant sa date d'echeance. A cette fin, un modele mathematique complet est construit pour un ensembles de taches recurrentes executees sur un processeur selon une certaine politique d'ordonnancement. Le but est de commencer une etude systematique aidant a la conception de politiques d'ordonnancement temps reel. Les taches et leurs comportements sont decrits en termes d'hypotheses sur leur sequence de dates d'activations et de temps d'execution. Les politiques sont realisees par des priorites dependantes du temps. Ceci permet d'analyser les politiques independamment d'un type specifique de taches. Le premier cas considere est celui des politiques pouvant etre representees par des fonctions de priorites independantes du temps. Ce cas couvre des politiques classiques comme fpp, edf, fifo ou lifo. Cette these propose une analyse unifiee qui montre certaines similarites entre ces politiques. Quelques politiques definies par des fonctions de priorites dependantes du temps sont aussi considerees. Les politiques non-preemptives et le protocole a plafond de priorites sont etudies comme cas particuliers du paradigme de promotion de priorites en debut d'execution qui est introduit a cette fin. De plus la politique round robin est definie en termes de fonctions de priorites et des bornes sur les temps de reponses sont etablies. Le protocole a plafond de priorites est etendu a round robin. Des bornes sur les temps de reponses sont indispensables pour la faisabilite mais d'autres criteres peuvent aussi etre interessants a considerer. Pour cette raison une methode de calcul de bornes sur les queues des distributions des temps de reponses dans le cas de la politique fpp est aussi proposee dans cette these.