Abstract FR:

Le sujet de la these se situe dans le cadre de la modelisation et l'evaluation de la surete de fonctionnement des systemes, notamment informatiques et de communication. Dans une premiere partie du travail, nous nous interessons aux systemes combinatoires. Comme l'evaluation exacte appartient aux problemes np-durs, nous considerons l'estimation de la fiabilite par des techniques de monte carlo. Dans ce contexte nous presentons une famille d'algorithmes (appeles algorithmes de reduction recursive de la variance) qui permettent d'offrir, en un temps fixe, une estimation plus precise que celle donnee par une simulation standard. L'un des problemes qui se presentent lors de la conception d'un reseau de communication est de definir sa topologie de facon a assurer, entre autre, une fiabilite maximale dans les communications. Nous employons les techniques d'evaluation de la fiabilite au sein d'un algorithme de recuit simule pour aborder ce probleme d'optimisation. La deuxieme partie de la these est consacree a l'etude des systemes markoviens. La generation du processus de markov sous-jacent au modele d'un systeme est un probleme important dans le contexte de l'evaluation de la surete de fonctionnement. Nous presentons une bibliotheque de modelisation et d'evaluation de systemes markoviens, qui permet le traitement de systemes evoluant en temps continu et en temps discret. Cette bibliotheque fournit comme notion de base le formalisme de boules et urnes, et elle permet l'incorporation d'autres formalismes de plus haut niveau. Nous considerons aussi les techniques de simulation et dans ce contexte nous proposons une methode de reduction recursive de la variance pour l'evaluation des mesures transitoires de la surete de fonctionnement