mardi : Développement d'applications temps-réel
17H15 : Oana Stan, Renaud Sirdey, Jacques Carlier and Dritan Nace -- L’apport de l’optimisation sous incertitudes pour les systèmes temps réel embarqués
17H35 : Sylvain Cotard -- La tolérance aux fautes et les systèmes temps réel embarqués multicoeur
17H55 : Vincent Gaudel, Frank Singhoff, Alain Plantec, Pierre Dissaux and Jérôme Legrand – Sélection automatique de tests de faisabilité à l'aide de patrons de conception
18H15 : Fabien Cadoret, Laurent Pautet and Thomas Robert -- Extraction de contraintes temporelles d'un modèle d'architecture temps-réel
mercredi : Ordonnancement, support d'exécution et réseaux
17H00 : Xuan Hung Nguyen and Gerard Mouney -- Spécification du protocole "CAN like" pour la couche MAC des réseaux locaux sans fil
17H20 : Pierre Olivier, Jalil Boukhobza, Jean-Philipe Babau, Stéphane Rubini and Picard Damien -- Implémentation Matérielle des Services d'un RTOS sur Circuit Reconfigurable
17H40 : Amira Dkhil and Stephane Louise -- Prédictibilité des architectures MPSoC pour l’analyse du WCET, Etat de l’art
18H00 : Thomas Megel, Mathieu Jan, Vincent David and Christian Fraboul -- Mécanismes de migration pour des systèmes distribués temps-réel stricts
18H20 : Jérémy Robert, Jean-Philippe Georges and Thierry Divoux -- Effet de l'écart de synchronisation sur le temps de cycle de solutions basées sur Ethernet
jeudi : Méthodes formelles
17H45 : Elie Fares, Jean Paul Bodeveix and Mamoun Filali -- Vérification de Modèles BPEL 2.0 Temporisés
18H05 : Jean-Paul Bodeveix, Abdeldjalil Boudjadar and Mamoun Filali – Une Définition Alternative pour la Composition des Systèmes Temporisés
18H25 :Amine Raji and Philippe Dhaussy -- Génération de modèles pour la vérification formelle en contexte industriel