École d'été Temps Réel 2013

Les présentations détaillées des interventions sont disponibles sur la page Présentation des interventions.

Lundi 26/08

10h00 13h45Accueil et inscriptions
13h30 13h45Ouverture ETR‘13
13h45 15h15Rob Davis (University of York)
Uniprocessor scheduling
15h15 15h45Pause
15h45 17h15Joël Goossens (Université Libre de Bruxelles)
Ordonnancement multi-processeur
17h30 18h00Session doctorants
18h00Cocktail de bienvenue

Mardi 27/08

08h30 10h00Joel Sherrill (OAR Corp.)
RTOS and RTEMS
10h00 10h30Pause
10h30 11h15Damien Hardy (IRISA)
Estimation de pires temps d’exécution (WCET - Worst-Case Execution Times)
11h15 12h00Liliana Cucu-Grosjean (LORIA)
Probabilistic real-time scheduling
12h00 13h30Déjeuner
13h30 14h00Session doctorants
14h00 15h30Jean-Paul Blanquart (Astrium)
Enjeux industriels : spatial
15h30 16h00Pause
16h00 17h30Thierry Planche (Airbus)
Enjeux industriels : aéronautique

Mercredi 28/08

08h30 10h00Gaël Blondel, Mélanie Bats (OBEO)
OBEO Designer
10h00 10h30Pause
10h30 12h00Frédéric Boulanger (Supélec)
ModHel’X
12h00 13h30Déjeuner
13h30 14h00Session doctorants
14h00 15h30Denis Claraz (Continental Automotive)
Enjeux industriels : automobile
15h30 16h00Pause
16h00 17h30Pascal Poisson (Alstom)
Enjeux industriels : systèmes embarqués

Jeudi 29/08

09h00 10h00Ludovic Apvrille (Telecom ParisTech)
DIPLODOCUS : un environnement pour le partitionnement logiciel/matériel des systèmes embarqués complexes
10h00 11h00Bernard Berthomieu, Silvano Dal Zilio, Didier Le Botlan et François Vernadat (LAAS/CNRS et INSA Toulouse)
Fiacre/TINA — Un environnement pour la description et vérification de systèmes temps réel
11h00 11h30Pause
11h30 12h30David Parker (University of Birmingham)
Verification of Probabilistic Real-time Systems
12h30 14h00Déjeuner
14h00 15h30Présentation d’outils
CADP, Cosmos, Roméo, TINA
15h30 16h00Pause
16h00 17h30TP méthodes formelles
18h00Banquet

Vendredi 30/08

09h00 09h45Ye-Qiong Song (LORIA)
Réseaux de capteurs sans fil : état de l’art, QoS, routage
09h45 10h30Jean-Dominique Decotignie (EPFL)
Réseaux sans fil et temps réel
10h30 11h00Pause
11h00 11h45Pascale Minet (INRIA)
Réseaux adhoc, réseaux de capteurs et ordonnancement
11h45 12h30Jean-Luc Scharbarg (ENSEEIHT)
Réseaux avioniques
12h30 13h00Clôture ETR‘13