Systèmes concurrents et répartis

Ref: 3IF1141

Description

Ce cours est un cours de découverte qui donne un aperçu large, à la fois théorique et pratique, des systèmes distribués et de type blockchain.

Les systèmes distribués sont massivement déployés dans les endroits où l'infrastructure est inexistante, dans les systèmes sans fils et à énergie limitée. Ils sont aussi désormais utilisés dans les systèmes qui cherchent à éviter toute autorité centralisée. Dans de tels systèmes, les propriétés de sécurités garanties sont variées. Il peut s'agir de la disponibilité, l'intégrité, l'évitement de la censure, etc.

Période(s) du cours

SM10

Prérequis

Algorithmique et complexité

SIP

Syllabus

Théorie des systèmes distribués 6h
- Algo d'élection, generaux byzantins
- Consensus
- Concurrence (tâches séquentielles, synchronisation, réseaux de pétri)
Blockchain 6h
- Consensus
- Proof of Work
- Proof of Stake
Bitcoin

Composition du cours

12h CM et 3h TP

Ressources

Cours magistraux et TPs.

Résultats de l'apprentissage couverts par le cours

Identifier le système réparti adéquat à un problème posé
Comprendre les différents types et propriétés d'une blockchain
Mettre en oeuvre une blockchain de type bitcoin

Responsable(s) :

Jean-Francois Lalande

Langues du cours :

FRANCAIS

Nombre d'heure :

40 h

Nombre d'heure sur site :

18 h

Année académique :

2024-2025

Niveau avancé :