Spécification des systèmes distribués

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

Actualités

    • Journées portes ouvertes à l'UPPAVenez découvrir votre future université !

      Programme et calendrier par campus.

      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

    • L’UPPA, dans le top 10 des 70 universités françaises pour la réussite des étudiants

      Selon les données publiées par le ministère de l’Enseignement Supérieur et de la Recherche, l’UPPA se classe dans les dix premiers du palmarès français des universités qui accompagnent le mieux leurs...

      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