Item – Theses Canada

​
OCLC number
1006682281
Link(s) to full text
LAC copy
LAC copy
Author
Farhat, Ayman,1969-
Title
Techniques algorithmiques pour la fiabilité et la sûreté des systèmes distribués.
Degree
Thèse (M. Sc.)--Université de Sherbrooke, 1998.
Publisher
Ottawa : National Library of Canada = Bibliothèque nationale du Canada, [2000]
Description
2 microfiches
Notes
Comprend des réf. bibliogr.
Abstract
La fiabilite des systemes est indispensable dans de nombreuses applications. A cet effet, la tolerance aux fautes est une approche largement utilisee dans les systemes qui requierent une fiabilite elevee. Son but est de fournir un service malgre la presence de composants fautifs dans le systeme en fonctionnement. Le probleme des generaux Byzantins est un modele puissant, car il n'impose aucune contrainte sur le comportement des composants fautifs. Ceux-ci peuvent se comporter de facon arbitraire. Dans ce memoire, nous allons tout d'abord presenter le probleme des generaux Byzantins traditionnel. Ensuite, nous demontrerons que sans ajout de contraintes au modele initial, l'identification des composants fautifs est impossible. Enfin, nous donnerons les conditions necessaires pour qu'une telle identification puisse operer.
ISBN
0612405818
9780612405813