Fiches de cours 2016-2017

PDF
 

Informatique du temps réel

CS-321

Enseignant(s) :

Decotignie Jean-Dominique

Langue:

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

Dans les plans d'études

Semaine de référence

 LuMaMeJeVe
8-9     
9-10     
10-11     
11-12     
12-13     
13-14     
14-15     
15-16     
16-17     
17-18     
18-19     
19-20     
20-21     
21-22     
En construction
 
      Cours
      Exercice, TP
      Projet, autre

légende

  • Semestre d'automne
  • Session d'hiver
  • Semestre de printemps
  • Session d'été
  • Cours en français
  • Cours en anglais
  • Cours en allemand