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