TELECOM ParisTech ETR'09

Sessions doctorants

Au cours de l'École d'été Temps-Reél 2009, les jeunes chercheurs ont eu l'occasion de présenter leurs travaux à la communauté temps réel au cours des sessions des doctorants.

Objectifs

Les sessions doctorants sont l'occasion de favoriser l'échange d'idées, d'expérience et d'informations. Trois sessions d'une heure vingt minutes chacune sont réservées à la présentation des communications (15 minutes environ par présentation).

Sessions et papiers

Session Développement d'Applications Temps-Réel (mardi 1^er septembre, de 11h30 à 12h50)

• 1.  Modélisation UML/MARTE et Analyse Temporelle pour une Exploration Architecturale des Systèmes-sur-Puce - Adolf Abdallah
• 2.  Adaptation dynamique des systèmes critiques, une nouvelle approche - Etienne Borde, Grégory Haïk et Laurent Pautet
• 3.  OCARINA : un Environnement pour l'analyse de Modèle AADL et la Génération Automatique d'Applications Temps Réel Réparties Embarquées (2,4 Mo) - Gilles Lasnier, Bechir Zalila, Laurent Pautet et Jérôme Hugues

Session Vérification formelle (mercredi 2 septembre, de 16h30 à 17h50)

• 1.  Indécidabilité du model checking de TCTL avec horloges explicites sur les automates temporisés à interruptions - Beatrice Berard, Serge Haddad et Mathieu Sassolas
• 2.  Bornes pour les probabilités d’accessibilité pour les grandes chaînes de Markov - Ana Busic, Hilal Djafri, Serge Haddad et Nihal Pekergin
• 3.  Dependability Verification using Statistical Model Checking - Diana El Rabih et Nihal Pekergin
• 4.  Enumerative Parallel and Distributed State Space Construction - Rodrigo Tacla Saad, Silvano Dal Zilio, Bernard Berthomieu et François Vernadat

Session Ordonnancement et sécurité (jeudi 3 septembre, de 11h00 à 12h30)

• 1.  Une méthode inverse pour les plus courts chemins - Etienne André
• 2.  Canaux cachés à partir de transducteurs - Gilles Benattar et Mathieu Sassolas
• 3.  Étude de systèmes temps réel avec des temps d'exécution incertain - Dominique Bertrand