Spécification des systèmes distribués

  • Aide
  • Recherche
  • RSS
  • Google +
  • Facebook
  • Twitter
Université de Pau et des Pays de l'Adour (UPPA)

Trouver une formation

Actualités

    • UE Libres

      Inscriptions aux semestres impairs aux UE libres à partir du mardi 12 septembre 2017 (7h)

      Lire la suite

"UPPA Connect" : renforcer les liens entreprises-étudiants

L’UPPA lance sa plate-forme "UPPA Connect" permettant de créer un réseau professionnel entre les entreprises du territoire, les étudiants et les anciens étudiants devenus des professionnels. En savoir plus

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é).

En bref

Crédits ECTS 4 ECTS

Nombre d'heures 39h00