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

    • Journées d'immersion des lycéens de terminale

      Journées d'immersion des lycéens de terminale sur les campus de la Côte Basque du 20 au 24 février 2017.
      Inscription : http://scuio-ip.univ-pau.fr/fr/lycee-universite/journees-immersion-des-lyceens/eleves-de-terminale...

      Lire la suite

    • 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

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