The LSV seminar takes place on Tuesday at 11:00 AM. The usual location is the conference room at Pavillon des Jardins (venue). If you wish to be informed by e-mail about upcoming seminars, please contact Stéphane Le Roux and Matthias Fuegger.
The seminar is open to public and does not require any form of registration.
Real-Time scheduling deals with the problem of concurrently executing processeses so that every process meets its timing constraints. From the seminal work of Liu and Layland in 1973, concerning the scheduling of periodic real-time processes on a single processor, many researchers have extended the model and proposed alternative scheduling algorithms and schedulability analyses. The goal of this series of two seminars is to introduce the problem and give a quick overview of the main results on real-time scheuling.
In the first seminar, the problem of scheduling on a single resource (processor) will be addressed. I will present the basic model for periodic and sporadic tasks, give a classification of the problems and their complexity. I will also present analytical results on schedulability analysis. The Fixed Priority and Earlist Deadline First scheduling algorithm will be analysed in detail. During the seminar, I will try to sketch a parallel with model checking tools whenever possible.