en cliquant sur cette icone
vous téléchargerer les présentations correspondantes.
Lundi 3 septembre 2007 |
13h45 - 14h00 Ouverture d'ETR 2007
Session d'ouverture
Présidente de séance : Françoise Simonot-Lion (LORIA
/ Mines Nancy)
14h00
- 15h30 : Tutorial
: Ingénierie système prouvable pour les systèmes informatiques
temps réel critiques : Gérard Le Lann (INRIA)
15h30 - 16h00 : Pause café
Session "Développement de systèmes temps réel :
modèles, paradigmes et langages"
Présidents de séance : J-P. Babau (CITI/INSA Lyon) et S. Faucou
(IRCCyN/Univ. Nantes)
16h00
- 17h00 : Modélisation
du temps dans le profil UML MARTE - Charles André (I3S / Univ. Nice)
17h00
- 18h00 :
Modélisation par composants de systèmes temps réel
avec BIP - Joseph Sifakis (Verimag / CNRS)
Mardi 4 septembre 2007 |
Suite de la session "Développement de systèmes temps réel : modèles, paradigmes et langages"
9h00
- 10h00 : Conception
des systèmes de contrôle/commande temps réel - Paul
Caspi (Verimag / CNRS)
10h00
- 11h00 : Architectures
logicielles pour les systèmes embarqués temps réel
- Jean-Philippe Babau (CITI/INSA Lyon)
11h00 - 11h30 : Pause café
11h30 - 12h30 : Session "doctorants" sur le thème "Développement de systèmes temps réel : modèles, paradigmes et langages"
12h30-14h00 : Pause déjeuner
Session "Les enjeux industriels"
Président de séance : Yvon Trinquet (IRCCyN / Univ. Nantes)
14h00
- 15h00 : La
problématique des systèmes embarqués – Jean-Pierre
Elloy
15h00
- 16h00 : Evolution
des pratiques du développement logiciel dans l'automobile : TRIALOG
Philippe Robin
16h00 - 16h30 : Pause café
16h30
- 17h30 : Ingénierie
système : Sodius JP Lerat
18h45 : Pot à la mairie de Nantes
20h30 : Repas du comité
Mercredi 5 septembre 2007 |
Session "Méthodes
formelles"
Présidents de séance : Serge Haddad (LAMSADE/ Univ. Paris-Dauphine)
et Olivier H. Roux (IRCCyN/Univ. Nantes)
9h00
- 10h30 : Tutorial
: Model-checking temporisé – Béatrice Bérard
(LAMSADE/ Univ. Paris-Dauphine)
10h30 - 11h00 : Pause café
11h00
- 12h30 : Tutorial : Synthèse de contrôleur et diagnostique
temporisé – Franck
Cassez (IRCCyN/CNRS) et Nicolas
Markey (LSV/CNRS)
12h30 - 14h00 : Pause déjeuner
14h00
- 15h00 : Systèmes
hybrides et vérification d'ordonnancement – Didier Lime (IRCCyN/Centrale
Nantes)
15h00
- 16h00
: Systèmes temps réel probabilistes (model checking des chaînes
de Markov à temps continu) - Susanna Donatelli (Université
de Turin, Italie)
16h00 - 16h30 : Pause café
16h30 - 17h30 : Session "doctorants" sur le thème "Méthodes formelles"
20h30 : Repas de Gala
Jeudi 6 septembre 2007 |
Session "Ordonnancement
et supports d'exécution"
Présidents de séance : Nicolas Navet (LORIA / INRIA) et Laurent
George (ECE Paris)
9h00
- 10h00 :
Tutorial ordonnancement : Emmanuel Grolleau (LISI / ENSMA Poitiers)
10h00 - 10h30 : Pause café
10h30
- 11h30 :
Ordonnancement multiprocesseur : Joël Goossens (Université Libre
de Bruxelles, Belgique)
11h30 - 12h30 :Sessions "doctorants" parallèles sur les thèmes "Ordonnancement et supports d'exécution" et "Réseaux et qualité de service".
12h30 - 14h00 : Pause déjeuner
14h00
- 15h00 : Low power : Enrico
Bini (RETIS, Pise, Italie)
15h00
- 15h45 : Évaluation
des temps d'exécution : Isabelle Puaut (IRISA / Univ. Rennes)
15h45 - 16h15 : Pause café
16h15
- 17h00 :
Analyse de sensibilité : Laurent George (ECE Paris)
17h00
- 18h00 :
Java Temps Réel : Serge Midonnet (IGM / Univ. Marne-la-vallée)
Vendredi 7 septembre 2007 |
Session "Réseaux
et qualité de service"
Présidents de séance : Zoubir Mammeri (IRIT / Univ. Toulouse
3) et Guy Juanole (LAAS / Univ. Toulouse 3)
8h30
- 9h15 :
Aptitudes Temps réel de réseaux sans fil : Nicolas Krommenacker (CRAN)
9h15 - 10h00 : Application du Network calculus pour la détermination de bornes de délai de communication dans les réseaux embarqués : Christian Fraboul (IRIT / ENSEEIHT)
10h00 - 10h30 : Pause café
10h30
- 11h10 :
Routage prenant en compte les contraintes de délai dans les réseaux
MANETs : Zoubir Mammeri (IRIT / Univ. Toulouse 3)
11h10
- 11h50 : Garantir
la qualité de service temps réel: ordonnancement et gestion
de files d'attente : Yé-Qiong Song (LORIA / INPL)
11h50
- 12h30 :
Qualité de service et Qualité du contrôle : Guy Juanole
(LAAS / Univ. Toulouse 3)
12h30 - 12h45 : Clôture de ETR 2007
