5.00 crédits
30.0 h + 15.0 h
Q1
Enseignants
Van Roy Peter;
Langue
d'enseignement
d'enseignement
Thèmes abordés
- Etude des bases théoriques des algorithmes répartis, et des langages pour la programmation répartie.
- Etude des questions spécifiques des systèmes répartis et mobiles: répartition géographique, gestion de ressources localisées et réparties, tolérance aux fautes, sécurité, interopérabilité et ouverture.
- Utilisation pratique de quelques langages représentatifs et avancés pour la programmation de systèmes collaboratifs, répartis et mobiles.
Acquis
d'apprentissage
d'apprentissage
A la fin de cette unité d’enseignement, l’étudiant est capable de : | |
1 |
Eu égard au référentiel AA du programme « Master ingénieur civil en informatique », ce cours contribue au développement, à l'acquisition et à l'évaluation des acquis d'apprentissage suivants :
|
Contenu
- Introduction aux systèmes distribués
- Modèles formels des systèmes distribués
- Spécification et implémentation des systèmes distribués (y compris sûreté et vivacité)
- Détecteurs de défaillance
- Diffusion fiable
- Diffusion causale
- Mémoire partagée
- Consensus et ses applications
- Systèmes à grande échelle basés sur la bouche à oreille et le pair à pair
- Exemples de systèmes à grande échelle tirés des recherches du titulaire du cours (par exemple, Internet des objets, approche ΔQSD pour la conception des systèmes, systèmes convergents basés sur les CRDTs, entre autres).
Méthodes d'enseignement
- Cours magistral chaque semaine (en présentiel ou distanciel, selon les règles en vigueur)
- Séance de travaux pratiques en salle informatique, toutes les deux semaines, pour résoudre des problèmes simplifiés en utilisant les concepts vu au cours
- Projet de conception et d'implémentation pour appliquer ces concepts dans le cadre d'une application plus complexe
Modes d'évaluation
des acquis des étudiants
des acquis des étudiants
- Test dispensatoire 25% (vers la 7e semaine)
- Projet 25%
- Examen final (50%) (ou 75% si on refait la partie du test)
Autres infos
Préalables :
- Expertise d'au moins un système de programmation et de la programmation concurrente sont les prérequis pour ce cours. Une possibilité d'obtenir cette expertise est par le cours LINFO1131, mais il n'est pas impératif d'avoir suivi ce cours.
Ressources
en ligne
en ligne
LINFO2345 sur Moodle: https://moodle.uclouvain.be/course/view.php?id=4947
Bibliographie
Mandatory course material:
- Course slides (on Moodle)
- Rachid Guerraoui and Luis Rodrigues. "Introduction to Reliable Distributed Programming". Springer-Verlag, 2006.
- Hagit Attiya and Jennifer Welch. "Distributed Computing: Fundamentals, Simulations, and Advanced Topics". McGraw-Hill, 1998.
Support de cours
- Rachid Guerraoui and Luis Rodrigues, Introduction to Reliable Distributed Programming
Faculté ou entité
en charge
en charge
INFO
Programmes / formations proposant cette unité d'enseignement (UE)
Intitulé du programme
Sigle
Crédits
Prérequis
Acquis
d'apprentissage
d'apprentissage
Master [120] : ingénieur civil en informatique
Master [120] en sciences informatiques
Master [120] : ingénieur civil en science des données
Master [120] en science des données, orientation technologies de l'information