Abstract FR:

Cette these traite de la conception correcte des systemes paralleles temps critiques. Ils constituent une composante essentielle des systemes informatiques de hautes performances de controle-commande que l'on trouve par exemple dans le nucleaire et plus generalement dans les systemes paralleles enfouis. La verification des proprietes de correction temporelle de ces systemes est au cur des travaux de cette these. Notre contribution peut se caracteriser en trois points : l'analyse et l'extension d'un modele de programmation associe a cette classe de systemes la proposition d'une methode de resolution originale fondee sur un nouvel operateur de produit synchronise la validation de cette approche par son implementation et evaluation les travaux presentes concernent en particulier le probleme majeur du placement optimal des processus paralleles suivant des strategies respectant en priorite les contraintes temporelles imposees, i. E. Respectant la ponctualite. La recherche des criteres d'optimalite comporte egalement des parametres specifiques lorsqu'on veut dimensionner l'architecture cible en tenant compte de contraintes operationnelles. Notre approche repose sur l'analyse de la faisabilite, avant execution, de l'ordonnancement dynamique des taches guide par les echeances, suppose exister sur chaque processeur. Cela a conduit a definir l'operateur de produit synchronise des graphes d'etat des taches pour caracteriser leur execution simultanee. A partir du graphe du produit synchronise est engendre automatiquement un systeme de contraintes permettant de calculer une charge maximale des taches sur un processeur et de verifier analytiquement la ponctualite. Les communications, la verification de leur ponctualite et leur integration au probleme de placement constituent la deuxieme contribution de cette these. Enfin, l'algorithme de resolution global integrant l'allocation des taches et des communications a ete mis en uvre et evalue dans le cadre du projet oasis du cea/saclay.