UE : Modèles et Approches Formelles des Systèmes Distribués
Code et nom administratifs
nom long
Modèles et Approches Formelles des Systèmes Distribués
nom court
MAFSD
code apogée
Description
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 :
Introduction aux systèmes distribués
Modèles de calcul distribué et calculs locaux
Calcul distribué d'arbres recouvrants
Algorithmes d'élection
Terminiaison distribuée
Tolérance aux fautes et détecteur de pannes
Algorithmes auto-stabilisants
Synchroniseurs
Gestion de conflits
Implémentation par des procédures probabilistes
Enseignants
Mohamed Mosbah, Akka Zemmari
Contrôle des conaissances
Examen écrit de 1h30 (Coefficient 1/2)
Contrôle continu (Coefficient 1/2)