Spécification des systèmes distribués

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

Actualités

    • Entrer à l'UPPA

      1ère année de Licence, de DUT et CMI : se préinscrire, déposer ses vœux de poursuite d’études et répondre aux propositions d’admission.

      Lire la suite

    • Candidater en master

      Le conseil d’administration de l’Université a voté des capacités d’accueil limitées en 1ère année de master. Les modalités de recrutement s’effectuent dorénavant sous la forme de l’examen d’un dossier...

      Lire la suite

    • Visite guidée du campus de Paupour les lycéens et leurs parents

      L'UPPA propose un circuit de découverte du campus de Pau

      Lire la suite

    • UE Libres

      Du 11 janvier (7h) au 30 janvier (23h) vous devez vous inscrire à une UE libre pour les semestres pairs (S2, S4)

      Lire la suite

Formations 2018-19

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