Sessions doctorants

Au cours de l’École d’été Temps Réel 2015, les jeunes chercheurs auront l’occasion de présenter leurs travaux à la communauté temps réel francophone. Cette présentation s'effectuera par l'intermédiaire de :

  • posters, qui seront affichés pendant toute la durée de la manifestation et qui seront l’occasion de favoriser l’échange d’idées, d’expérience et d’informations,
  • présentation orale courte. Une session de 1h30 sera réservée à la présentation des communications (7 minutes environ par présentation),
  • document écrit court, qui seront publiés dans les actes de l'événement.

Soumission

Les doctorants sont invités à soumettre des publications à propos de leurs travaux en cours. Ces publications présentent des travaux originaux dans les domaines suivants :

  • Développement d’applications, méthodologies, modélisation et validation
  • Méthodes formelles et vérification
  • Ordonnancement et supports d’exécution
  • Réseaux temps réel et qualité de service

Les soumissions seront en français, devront être au format IEEE et ne pas excéder 4 pages. Le format utilisé est accessible en suivant ce lien.

Les publications choisies seront publiées dans les actes de l’événement qui seront distribués à tous les participants.

Calendrier

  • Soumission des articles le 15 mai 2015 (repoussée au 25 mai !!)
  • Notification aux auteurs le 12 juin 2015
  • Remise de la version finale le 26 juin 2015
  • Les soumissions s'effectueront par courrier électronique auprès du responsable de la session doctorants : Cette adresse e-mail est protégée contre les robots spammeurs. Vous devez activer le JavaScript pour la visualiser.

Comité

Contact

Pour toute question concernant la session doctorant, envoyez un e-mail à Cette adresse e-mail est protégée contre les robots spammeurs. Vous devez activer le JavaScript pour la visualiser.

En espérant vous voir nombreux !

Programme de la session des doctorants

  • Accès mémoire prédictibles sur processeurs pluri-coeurs - Quentin Perret, Pascal Maurère, Eric Noulard, Claire Pagetti, Pascal Sainrat, Benoît Triquet
  • Modélisation SDF des communications Simulink - Enagnon Cédric Klikpo, Jad Khatib, Alix Munier-Kordon
  • Réseaux maillés dynamiques pour applications temps réel à criticités multiples : problématiques et analyse - Florian Greff, Ye-Qiong Song, Arnaud Samama, Laurent Ciarletta
  • Modélisation des communications d’un système temps-réel par un SDFG - Jad Khatib, Enagnon Cédric Klikpo, Alix Munier-Kordon, Kods Trabelsi-Colibet
  • Faisabilité des réseaux définis par logiciel (SDN) pour les applications critiques et temps réel - Cédric Ternon, Joël Goossens, Jean-Michel Dricot
  • Analyse du Temps d’Exécution Pire-Cas en Considérant les Accès aux Ressources Partagées - Hamza Rihani, Matthieu Moy, Claire Maïza
  • Robustesse des applications temps-réels multicoeurs - Yves Mouafo, Annie Choquet-Geniet, Gaëlle Largeteau-Skapin
  • Propriétés des réseaux wormhole pour optimiser l'analyse de délai pire cas dans les many-coeurs - Laure Abdallah, Mathieu Jan, Jérôme Ermont, Christian Fraboul
  • Modélisation de systèmes temps-réel à l’aide de diagrammes UML et de réseaux de Petri colorés - Mohamed Mahdi Benmoussa
  • Un modèle de traitement de requêtes pour le maintien de la cohérence temporelle dans les bases de données de capteurs - Abderrahmen Belfkih, Claude Duvallet, Laurent Amanton, Bruno Sadeg
  • Intégration d’Applications Avioniques sur Processeurs Multi-Coeurs - Soukayna R. M’Sirdi, Wenceslas Godard, Marc Pantel
  • Ocarina-CADP: Processus de développement formellement vérifié - Hana Mkaouar, Bechir Zalila
  • Reconstruction et slicing de graphes de flot de contrôle à partir de fichiers exécutables pour l'analyse temporelle par vérification de modèles - Armel Mangean