Génération automatique de distributions/ordonnancements temps réel, fiables et tolérants aux fautes

Les systemes reactifs sont de plus en plus presents dans de nombreux secteurs d´activite tels que l´automobile, les telecommunications et l´aeronautique. Ces systemes realisent des tâches complexes qui sont souvent critiques. Au vu des consequences catastrophiques que pourrait entrainer une defaillance dans ces systemes, suite a la presence de fautes materielles (processeurs et media de communication), il est essentiel de prendre en compte la tolerance aux fautes dans leur conception. En outre, plusieurs domaines exigent une evaluation quantitative du comportement de ces systemes par rapport a l'occurrence et a l'activation des fautes. Afin de concevoir des systemes surs de fonctionnement, j'ai propose dans cette these trois methodologies de conception basees sur la theorie d'ordonnancement et la redondance active et passive des composants logiciels du systeme. Ces trois methodologies permettent de resoudre le probleme de la generation automatique de distribution et d'ordonnancements temps reel, fiables et tolerants aux fautes. Ce probleme etant NP-difficile, ces trois methodologies sont basees sur des heuristiques de type ordonnancement de liste. Plus particulierement, les deux premieres methodologies traitent le probleme de la tolerance aux fautes materielles des processeurs et des media de communication, respectivement pour des architectures a liaisons point-a-point et des architectures a liaison bus. La troisieme methodologie traite le probleme de l'evaluation quantitative d'une distribution/ordonnancement en terme de fiabilite a l'aide d'une heuristique bi-critere originale. Ces methodologies offrent de bonnes performances sur des graphes d'algorithme et d'architecture generes aleatoirement.