Real time operating systems - 5PMRSET6

The course covers the following aspects :

• Real time software implantation approaches
• Real time operating systems services study (task, scheduling, shared resources management, communication, synchronization, time management,...)
• Real time scheduling
• Real time with Linux

The labs sessions consist in

• building a basic Linux system for an embedded platform (Raspberry Pi)
• an introduction to Linux device drivers
• comparing time performance obtained with 3 Linux kernels (Vanilla, Preempt RT, Xenomai)

• Knowledge of the fundamental mechanisms of operating systems
• System programming
  (course 4PMESEX7/4PMRSEP5/4PMSSER7)

Session 1 :
- 1 hour written exam
- All documents and calculator authorized
- Lab report
- Mark 50% session 1 written exam + 50% session 1 lab report

Session 2 :
- 1 hour written exam
- All documents and calculator authorized
- Mark 50% session 2 written exam + 50% session 1 lab report (lab report mark cannot be recovered)

Confined Session 1 :
- 1 hour remote written exam
- All documents and calculator authorized
- Submission of the subject on chamilo at a date and time agreed in advance, submission of the scan of the copy 1 hours later on chamilo.
- Homework
- Mark 50% confined session 1 written exam + 50% confined session 1 homework

Confined session 2 :
- 30 minutes oral exam with Zoom
- Mark 50% confined session 2 oral exam + 50% confined session 1 homework (confined session 1 homework mark cannot be changed)

Cf. encadré évaluation de la description de l'enseignement.

• Tanenbaum, A. Systèmes d'exploitation Pearson Education, 2008
• Trinquet, Y. Elloy J. P. Systèmes d'exploitation temps réel Technique de l'Ingénieur , 1999
• Liu, J. W. S. W. Real-Time Systems Prentice Hall PTR, 2000
• Labrosse, J. J. Microc/OS-II R & D Books, 1998
• Blaess, C. Solutions temps réel sous Linux Eyrolles, 2012