Esisar rubrique Formation 2022

Real Time kernels - 5AMOS517

  • Number of hours

    • Lectures 12.0
    • Laboratory works 18.0


    ECTS 3.0


This course is an introduction to Real Time kernels. At the end of this course, the students will be able to:

  • understand the main tools of a RT kernel and use them efficiently,
  • design a real time application using to the best the capabilities of a RT kernel.

Contact Oum-El-Kheir AKTOUF


Oum-El-Kheir AKTOUF


1. Introduction to time constraints and basic definitions.
2. Architecture and functioning of a real time kernel (tasks, interrupts,...)
3. Mutual exclusion: mutex, semaphores, priority inversion (priority inheritance protocols, ceiling priority protocol)
4. Task synchronisation and communication in a real time kernel.
5. Introduction to real time scheduling.
6. Memory management within a real time executive.
7. UML for designing real-time applications

  • Operating System basics
  • Linux system programming (processes, signals, pipes, IPC)
  • C programming language
  • Computer architecture basics (interrupt handling, timer, ...)


E1 : first session exam mark
TP : lab mark
E2 : second session exam mark


The course exists in the following branches:

  • Curriculum - - Semester 5
  • Curriculum - EIS (Apprenticeship) - Semester 5
see the course schedule for 2017-2018

Additional Information

Curriculum->->Semester 5
Curriculum->EIS (Apprenticeship)->Semester 5


1. S. H. Son, "Advances in real-time systems", Prentice Hall, 1995.
2. D. Tschirhart, "Commande en temps réel", Dunod, 1990.
3. A. Dorseuil, P. Pillot, "Le temps réel en milieu industriel, concepts, environnements, multitâches", Dunod, 1990.