 |
|
LIFC - Un modèle pour les systèmes répartis auto-stabilisants
| Titre | Un modèle pour les systèmes répartis auto-stabilisants |
|---|
| Résumé | Notre époque est celle du développement des systèmes répartis à grande échelle. Ces systèmes comportent un nombre de noeuds en constante augmentation, ce qui les rend de plus en plus vulnérables aux défaillances. L'étude des systèmes répartis est donc devenue une préoccupation primordiale en informatique. De plus, il est nécessaire de mettre en place des mécanismes permettant à ces systèmes de tolérer les défaillances.
La conception, l'analyse, ainsi que la vérification des systèmes répartis nécessitent de pouvoir représenter ces systèmes par un modèle formel. Je présenterai une modélisation classique des systèmes répartis, basée sur la théorie des automates. Une des solutions proposées pour résoudre le problème de la tolérance aux défaillances est l'auto-stabilisation. J'étendrai le modèle présenté précédemment aux systèmes auto-stabilisants. |
|---|
| Date | 2008-03-10 |
|---|
| Heure | 2-27-2008 |
|---|
| Intervenant | PILARD Laurence |
|---|
| Page Web | |
|---|
| Laboratoire | LIFC |
|---|
| Etablissement | BELFORT |
|---|
| Lieu | BELFORT |
|---|
|
|
