UE : Modèles et Approches Formelles des Systèmes Distribués
Il existe de nombreux modèles et approches formelles qui permettent d'une part de mieux
appréhender, et d'autre part de prouver et valider des algorithmes et des applications
distribuées au sens large. Cette UE a pour objectif de présenter une approche fondée sur
les calculs locaux.
Plan du cours:
1- Introduction aux systèmes distribués
2- Modèles de calcul distribué
3- Claculs locaux : arbres recouvrants (Mosbah)
Quelques définitions des calculs locaux
4- Outils probabilistes pour l'algorithmique distribuée
5- Algorithmes d'élection dans les anneaux avec identités
6- Algorithmes d'élection dans les arbres avec identites et les graphes de topologie arbitraire avec identités
7- Algorithmes d'élection par calculs locaux dans les arbres dans les réseaux anonymes
8- Le problème du Rendez-Vous
9- Elections Locales
10- Terminiaison distribuée
11- Algorithme d'énumération de Mazurkiewicz
12- Implémentation : Plate-forme visidia
Projet:
Le projet consiste à concevoir et développer un algorithme distribué à
l'aide de visidia (donner le système de réécriture, le prouver, et l'implémenter
à l'aide de l'API de visidia).
Projet 2007-2008
Examen : Examen 2005
Examen 2006
Site web:
www.labri.fr/visidia/
Bibliographie:
1- Introduction to Distributed Algorithms
Gerard Tel
Cambridge University Press,2000
2- Distributed Computing: Fundamentals, Simulations and Advanced Topics.
Hagit Attiya and Jennifer Welch
McGraw Hill 1998
3- Distributed Systems: Concepts and Design
Coulouris, Dollimore and Kindberg
Addison-Wesley, 200