Spécification des systèmes distribués

  • Aide
  • Recherche
  • RSS
  • Google +
  • Facebook
  • Twitter
UFR Sciences et techniques de la Côte Basque

Emploi du temps et examens

Actualités

    • Forum des métiers de l'environnement aquatique

      Affiche du forum des métiers de l'environnement aquatique 2016

       
      Le forum se déroulera essentiellement sous forme de rencontres/échanges via des « stands » et/ou « ateliers » entre des professionnels de divers secteurs d’activité (privés et publics) et des étudiants...

      Lire la suite

    • Journée Portes Ouvertes

       
      La journée "portes ouvertes" aura lieu le samedi 4 février 2017, de 9h à 13h.
       
      Venez découvrir votre future université !
      Au programme
      des rencontres avec des enseignants, des enseignants-chercheurs, des...

      Lire la suite

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