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