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%)
- Introduction aux classes d‟algorithmes
- Algorithmes fondés sur les permissions Algorithme de Ricart et Agrawala, Algorithme à diffusion, Algorithme de Naimi et Trehel, Comparaison et critiques
- Algorithmes fondés sur l‟unicité d‟un jeton Algorithme de Le Lann, Algorithme de Chandy et Misra, Algorithme de Maekawa, Comparaison et critiques
- 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%)
- Notion de rendez-vous Approche de Bagrodia, Approche des contrôleurs et jeton
- 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
- 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%)
- L‟observation répartie Notion de propriétés stables et état global
- Détection répartie de la terminaison Algorithme de Mattern et algorithme général
- Détection répartie de l‟interblocage Algorithme de Mitchell et Merritt, Algorithme de Chandy, Misra et Haas, Algorithme de prévention
- 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%)
- Les approches actuelles
- Introduction de quelques outils formels Réseaux de Pétri, CSP, Lotos, Maude
- Exemple de développement de systèmes distribués (producteurs/consommateurs avec plusieurs varaiantes)
- 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.
- Enseignant non éditeur: Mohamed-Khireddine Kholladi