Les cours > Systèmes d'exploitation : temps reél

3ème année - Section industrielle

Cours magistral : 25 heures

Enseignant : ELV

2 ECTS

Description générale du cours

Le cours présente les notions importantes de la concurrence et et du temps-réel, tels que les sémaphores, variables de condition et moniteurs, ainsi que les algorithmes d'ordonnancement, les tests d'ordonnançabilité et un survol des OS temps-réel.

Matières prérequises

L'étudiant devra connaître les notions de base des systèmes d'exploitation vues au cours de Systèmes en 1ère et 2è années, et connaître le langage C.

Objectifs

Assurer aux étudiants une bonne compréhension des fondements théoriques de la concurrence et du temps-réel, ainsi qu'une expérience pratique des outils fournis par la librairie POSIX dans ces deux domaines.

Evaluation

Voir le tableau des évaluations des cours de 3ème.

Plan du cours

Théorie: -Concurrence -Ordonnancement temps-réel -Caractéristiques des OS temps-réel

Pratique: -Exercices de concurrence avec la librairie POSIX 1.c (threads, variables de condition, semaphores, ...) -Exercices sur le temps réel avec les librairies POSIX 1.b et 1.c (threads récurrentes, verrouillage de la mémoire, priorités fixes, ratages de deadlines, ...)

Bibliographie

Andrew TANENBAUM. Systèmes d'exploitation. Systèmes centralisés. Suystèmes distribués. Dunod / Prentice Hall, 3ème edition, 1994.
David R. Butenhof Programming with POSIX Threads Addison-Wesley Professional, 1997
Rajib Mall Real Time Systems Theory and Practice Prentice Hall, 2009