Le séminaire du LSV

Le séminaire du LSV a lieu le mardi à 11h00. Le lieu habituel est la salle de conférences au Pavillon des Jardins (plan d'accès). Pour être informé par email des prochains séminaires, contacter Stéphane Le Roux and Matthias Fuegger.

Le séminaire du LSV est public et ne nécessite aucune inscription préalable.

Séminaires passés

Real-Time Scheduling on single processors - I

Visiter le site web pour cet événement | Exporter cet événement au format iCalendar

 Giuseppe Lipari
Date
Le mardi 13 novembre 2012 à 11:00
Lieu
Salle de Conférence (Pavillon des Jardins)
Orateur
Giuseppe Lipari (Scuola Sup. Sant'Anna, Pisa, Italy)

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.


À propos du LSV

Agenda des séminaires

Exporter l'agenda au format iCalendar | Les séminaires précédents

mar. 19 février

Les séminaires précédents