Abstract FR:

Le sujet de la these se situe dans le cadre de la modelisation des systemes informatiques et de communication tolerant les pannes. Plus precisement, il s'agit d'etudier analytiquement la performabilite de ces systemes lorsque ces derniers sont modelises par des processus de markov homogenes a espace d'etats fini. L'objectif essentiel de la these est l'obtention de nouvelles methodes pour l'evaluation de cette mesure. Le travail effectue jusqu'a present a abouti a trois nouvelles methodes de calcul qui concernent les modeles cycliques, acycliques par bloc et acycliques. La contribution majeure de ce travail est la stabilite numerique de chacune de ces trois methodes et leur plus faible complexite par rapport aux algorithmes existant. Nous notons aussi que le resultat de notre premiere methode a ete utilise dans le cadre d'un projet europeen esprit pour l'evaluation des performances d'une machine multiprocesseurs tolerante aux pannes