Programme

en cliquant sur cette icone vous téléchargerer les présentations correspondantes.

Lundi 3 septembre 2007 |

separation

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 |

separation

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 |

separation

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 |

separation

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 |

separation

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

ancre

Dates à retenir

Liens


logo_irccyn
logo_ecn
logo_univnantes
logo_cnrs
logo_emn
logo_ministere_education
logo_gdrmacs
logo_afsec
logo_asr
logo_conseil_general
logo_pays_de_la_loire
logo_nantes_metropole
logo_sodius