Etude d'algorithmes de placement de taches temps reel complexes dans un systeme reparti

En mettant en jeu des couts economiques ou humains importants, les systemes informatiques de controle temps reel a contraintes strictes exigent une garantie a priori a la fois de la correction de la valeur des commandes emises ainsi que de la date a laquelle celles-ci sont appliquees. L'utilisation croissante de systemes repartis pour implanter de telles applications, souleve le probleme complexe du placement des differentes entites de l'architecture logicielle sur les elements de l'architecture materiel. Cette these etudie differents algorithmes de placement statique dans le contexte de taches periodiques temps reel. Les taches de notre modele ont ceci de particulier d'etre chacune definie par un graphe de precedence et de communication (modele data flow). C'est ainsi l'ensemble des nuds de ces graphes, les sous-taches, que nous placons tout en verifiant que les contraintes d'execution (activation, precedence et echeance) sont respectees. Nous fournissons cette garantie en produisant une sequence d'execution des sous-taches sur les processeurs et des communications sur le bus qui relie l'ensemble des processeurs. Le probleme est np-difficile et les methodes que nous avons mises en uvre sont des methodes approchees stochastiques et non stochastiques appartenant aux differentes classes suivantes: algorithme de liste, algorithme de regroupement, algorithme de recuit simule et algorithme genetique. Les algorithmes sont compares a partir de resultats obtenus sur un meme echantillon de grande taille de configurations logicielles variees. Il s'avere que pour notre probleme, les algorithmes de regroupement, en particulier une version iterative de ceux-ci, produisent de tres bons resultats en terme de taux de reussite et de temps d'execution