Coursebooks 2017-2018

PDF
 

Real-time systems

CS-321

Lecturer(s) :

Decotignie Jean-Dominique

Language:

Français

Résumé

A l'issue du cours, l'étudiant aura acquis les connaissances principales liées à la conception et à la réalisation des systèmes temps réel. Les différentes notions seront illustrées par des exercices et des laboratoires.

Contenu

1. Introduction sur l'informatique du temps-réel et ses particularités
2. Modélisation des systèmes temps-réel - contexte, types
3. Modélisation asynchrone du comportement logique - Réseaux de Petri
4. Modélisation des systèmes temps-réels - GRAFCET
5. Types de programmation (polling, par interruption, par états, exécutifs cycliques, coroutines, tâches)
6. Noyaux et systèmes d'exploitation temps-réel - problèmes, principes, mécanismes (tâches synchrones et asynchrones, synchronisation des tâches, gestion du temps et des événements)
7. Ordonnancement - problèmes, contraintes, nomenclature
8. Ordonnancement à priorités statiques (Rate Monotonic) et selon les échéances (EDF)
9. Ordonnancement en tenant compte des ressources, des relations de précédence et des surcharges
10. Ordonnancement de tâches multimédia
11. Evaluation des temps d'exécution
12. Introduction aux systèmes répartis temps réel

Mots-clés

temps réel, systèmes embarqués, systèmes enfouis, noyaux, ordonnancement, modélisation, GRAFCET, réseaux de Petri.

Compétences requises

Cours prérequis obligatoires

aucun

Cours prérequis indicatifs

Programmation

Acquis de formation

A la fin de ce cours l'étudiant doit être capable de:

Méthode d'enseignement

Ex cathedra + laboratoires + exercices

Travail attendu

apprentissage de la matière du cours, résoudre les exercices, réalisation des expériences pratiques

Méthode d'évaluation

Examen final 100%

Encadrement

Office hours Non
Assistants Oui
Forum électronique Oui

Ressources

Bibliographie

G. Buttazzo, "Hard Real-Time Computing Systems", Kluwer Academic, Boston
P. Laplante, "Real-Time Systems Design & Analysis : An Engineer's Handbook", IEEE
R. David, A. Alla, "Petri nets and Grafcet", Prentice Hall

Ressources en bibliothèque
Sites web
Liens Moodle

Préparation pour

Embedded systems, Real-time embedded systems, Real-time networks

In the programs

Reference week

 MoTuWeThFr
8-9   BC07-08
INM200
 
9-10    
10-11    
11-12     
12-13     
13-14     
14-15     
15-16     
16-17     
17-18   BC01
BC07-08
 
18-19     
19-20     
20-21     
21-22     
 
      Lecture
      Exercise, TP
      Project, other

legend

  • Autumn semester
  • Winter sessions
  • Spring semester
  • Summer sessions
  • Lecture in French
  • Lecture in English
  • Lecture in German