Objectifs:

Initier l‟étudiant à la notion de système temps réel. Inculper les spécificités et les contraintes de ce type de systèmes. Apprendre à développer une application temps réel.

À la fin de ce cours, l'étudiant(e) aura une bonne connaissance des systèmes d‟informatique industrielle, y compris les langages adaptés aux ateliers manufacturiers, les architectures de communication, et les exemples de systèmes réels et actuels.

Connaissances préalables recommandées:

Notions de processus, de synchronisation et de communication dans les systèmes temps réel.

Modules: Système d’exploitation1 et 2, programmation système, Architecture des ordinateurs

Contenu:
Chapitre 1 Problèmes d’exclusion mutuelle et allocation des ressources (20%)


  1. Introduction aux classes d‟algorithmes
  2. Algorithmes fondés sur les permissions Algorithme de Ricart et Agrawala, Algorithme à diffusion, Algorithme de Naimi et Trehel, Comparaison et critiques
  3. Algorithmes fondés sur l‟unicité d‟un jeton Algorithme de Le Lann, Algorithme de Chandy et Misra, Algorithme de Maekawa, Comparaison et critiques
  4. Allocation répartie des ressources Allocation d‟une ressource en plusieurs exemplaires, Allocation de ressources multiples en exemplaire unique, Allocation de plusieurs ressources en plusieurs exemplaires
Chapitre 2 La synchronisation répartie (20%)

  1. Notion de rendez-vous Approche de Bagrodia, Approche des contrôleurs et jeton
  2. Maintien d‟un invariant Notions de compteurs, conditions et invariants, les variables non liées à un site et techniques d‟éclatement, partitionnement et contrôle
  3. Construction d‟un temps virtuel Principe et objectif, méthode pessimiste de Chandy et Misra, Méthode optimiste de Jefferson

Chapitre 3 Observation et état global (30%)

  1. L‟observation répartie Notion de propriétés stables et état global
  2. Détection répartie de la terminaison Algorithme de Mattern et algorithme général
  3. Détection répartie de l‟interblocage Algorithme de Mitchell et Merritt, Algorithme de Chandy, Misra et Haas, Algorithme de prévention
  4. Calcul d‟états globaux Caractérisation des états globaux, Algorithme de Chandy et Lamport, Algorithme de Lai et Yang, Algorithme de Mattern

Chapitre 4 Démarche de mise en oeuvre d’un système distribué (30%)

  1. Les approches actuelles
  2. Introduction de quelques outils formels Réseaux de Pétri, CSP, Lotos, Maude
  3. Exemple de développement de systèmes distribués (producteurs/consommateurs avec plusieurs varaiantes)
  4. Implémentation en Java

Mode d’évaluation : 

Contrôle continu, examen, etc…(La pondération est laissée à l’appréciation de l’équipe de formation)

50 % Examen + 50 % Contrôle Continu.