Spécification des systèmes distribués

  • Aide
  • Recherche
  • Facebook
  • Twitter
Formation

Formation continue et reprise d'études

Formation continue et reprise d'études

Consultez la liste des formations proposées dans le cadre de la formation continue : formations diplômantes, certifications, préparations, formations courtes et formations sur mesure

Lire la suite

Actualités

    • Inscription en ligne 2020-2021Ouverte

      Inscription exclusivement en ligne : à partir du 6 juillet 2020 et du 7 juillet pour le nouveaux bacheliers

      Lire la suite

Vous êtes ici :

Spécification des systèmes distribués

Présentation

Un système distribué peut être vu comme un ensemble de processus concurrents s'exécutant sur des machines différentes et devant communiquer à distance à travers un réseau pour réaliser une certaine tâche globale. L'algorithmique distribuée a pour but de définir des algorithmes dédiés à la coordination distante de processus distribués en prenant en compte un éventuel contexte de faute (crash de processus, pertes de messages...).

Ce module est organisé en deux parties : la première est consacrée à l'étude d'algorithmes distribués (exclusion mutuelle, validation atomique, diffusion avec des propriétés d'ordre, consensus...). La deuxième partie est dédiée à la modélisation de la dynamique (comportement) des systèmes distribués à évènements discrets (modèle de réseaux de Petri, synchronisation des processus, contraintes temporelles, propriétés de sûreté et de vivacité).

Volume horaire

  • Cours Magistral : 21h
  • Travaux Dirigés : 15h

Examens

50% contrôle continu + 50% examen terminal

En bref

Crédits ECTS 4.0

Nombre d'heures 36.0

Contact(s)

Composante

Lieu(x)

  • Pau