IND590 - Robustesse des systèmes distribués
Ce cours vise à concevoir des systèmes distribués résilients selon le contexte de pannes dans lequel ils se trouvent.
Au terme de ce cours, l’étudiante ou l’étudiant sera en mesure de : identifier les risques de pannes et les besoins en résilience d’un système distribué ; déterminer l’approche la plus pertinente pour tolérer les pannes dans un système distribué étant données ses contraintes opérationnelles ; concevoir des algorithmes ; évaluer la résilience d’un algorithme à l’aune des besoins identifiés du système ; mettre en place ces algorithmes dans le système étudié.
Concepts et modèles théoriques permettant l’analyse des systèmes et des algorithmes mis en place. Contextes techniques permettant de les mettre en œuvre sur des systèmes réels. Approches pour la tolérance aux pannes. Algorithmes classiques dans chacune de ces approches. Techniques d’analyse des propriétés en matière de robustesse et de coût de ces approches.