Le cours est axé sur les aspects "Tolérance aux défaillances" des systèmes distribués. Il présente, sous une forme algorithmique, les deux grands techniques, la recherche de consensus et l'auto-stabilisation. L'approche par consensus est masquante, dans le sens où les défaillances potentielles ne doivent pas faire dévier le système de son comportement correct, alors que l'auto-stabilisation autorise le système, durant une période la plus courte possible, d'évoluer en dehors de sa spécification. Des algorithmes sont donnés, prouvés et leur complexité est évaluée. |