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é et calculs locaux
3- Outils probabilistes pour l'algorithmique distribuée (format pdf) (format ppt)
4- Calcul distribué d'arbres recouvrants
5- Le problème du Rendez-Vous (format pdf) (format ppt)
6- Algorithmes d'élection
7- Algorithmes d'élections locales probabilistes (format pdf, format ppt)
8- Terminiaison distribuée
9- Tolérance aux fautes et détecteur de pannes
10- Synchroniseurs
11- Gestion distribuée de conflits
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).
Examen :
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