Spécification des systèmes distribués

  • Aide
  • Recherche
  • Facebook
  • Twitter
Formation

Actualités

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

      Programme et calendrier par campus.

      Lire la suite

    • L'UPPA déploie des robots de téléprésence au service de l'inclusion, de l'adaptation et de la formation d'excellence.

      Depuis plus de cinq ans, Laurent Gallon enseignant-chercheur à l'IUT des Pays de l'Adour et au Laboratoire d'informatique de l'UPPA (LIUPPA) travaille en partenariat avec le Service d'Aide Pédagogique...

      Lire la suite

    • UE Libres

      Septembre 2019 : Inscriptions aux UE libres.

      Lire la suite

    • Journée Infosup 2019

      Journée d'information sur les formations post-bac.

      Lire la suite

    • Salon Studyrama : Etudes supérieuresà Bayonne

      Maison des associations, 9h30/17h30 à Bayonne.
      En savoir plus et télécharger une invitation

      Lire la suite

Trouver une formation

Vous êtes ici :

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

Volume horaire

  • Cours Magistral : 21h
  • Travaux Dirigés : 15h

Examens

50% contrôle continu + 50% examen terminal

En bref

Crédits ECTS 4.0

Nombre d'heures 36.0

Contact(s)

Composante

Lieu(x)

  • Pau