Spécification des systèmes distribués

  • Aide
  • Recherche
  • Facebook
  • Twitter
Formation

Formation continue et reprise d'études

Formation continue et reprise d'études

Consultez la liste des formations proposées dans le cadre de la formation continue : formations diplômantes, certifications, préparations, formations courtes et formations sur mesure

Lire la suite

Actualités

    • Coronavirus : liste des pays où les stages sont suspendusJusqu'à nouvel ordre

      Attention : les stages dans les pays suivants sont suspendus jusqu'à nouvel ordre

      Lire la suite

    • 1er master Erasmus Mundus de l'UPPA : ouverture des inscriptions Programme d'excellence européen : Environmental Contamination and Toxicology (ECT+) Erasmus Mundus Joint Master Degree

      En septembre 2020, l'UPPA ouvre son premier programme d'excellence Erasmus Mundus avec 6 autres universités européennes.

      Lire la suite

    • Rencontres du double diplôme de master : Performance, activité physique, santéAmphithéâtre du STAPS - Tarbes

      Le département STAPS en partenariat avec l'Université de Saragosse organise les rencontres du double diplôme de Master. Il s'agit d'un symposium ouvert aux professionnels et aux étudiants qui souhaitent...

      Lire la suite

    • Le Mois de la Formation tout au long de la vie : 1ère édition Venez nourrir votre projet professionnel ! #LeMoisFTLV

      Vous souhaitez reprendre vos études ? Vous reconvertir ? Débuter des études en alternance ?
      Participez au Mois de la Formation tout au long de la vie !
      Vous êtes étudiant ou enseignant ? Vous sont proposés...

      Lire la suite

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

      Programme et calendrier par campus.

      Lire la suite

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