Session : Développement d’applications temps réel
Modèles de temps et de contraintes temporelles de MARTE et leurs applications, Charles André (INRIA)
Session : Méthodes formelles
Initiation au model-checking, Serge Haddad (LSV)
Model Based Testing : principes et application dans le cadre temporisé, Antoine Rollet (LaBRI)
Session : Méthodes formelles
Modèles stochastiques pour les systèmes dynamiques à événements discrets, Patrice Moreaux (LISTIC)
Contrôle temporisé, Eugene Asarin (LIAFA)
Session : Enjeux industriels
Quand modéliser est contre productif..., Jean-Philippe Lerat (Sodius)
Introduction à la certification des systèmes temps réel critiques, Quentin Ochem (AdaCore)
Session : Ordonnancement et support d’exécution
Ordonnancement et ordonnançabilité monoprocesseur, Emmanuel Grolleau (LISI)
Estimation de pires temps d'exécution (WCET - Worst-Case Execution Times), Isabelle Puaut (IRISA)
Jeudi matin
Session: Ordonnancement et support d’exécution
Ordonnancement et ordonnançabilité multiprocesseur, Anne-Marie Déplanche (IRCCyN)
Ordonnancement temps réel orienté consommation, J.P. Diguet (LABSTiCC)
Session : Développement d’applications temps réel
L'ingénierie dirigée par les modèles pour le temps-réel embarqué: modélisation et analyse, Sébastien Gérard et Sara Tucci (CEA, LIST)
Session : Réseaux temps réel et qualité de service
Communications temps réel dans les WSN : protocoles MAC et routage, Isabelle Augé-Blum (CITI)
Communication in vehicular networks, Bertrand Ducourthial (Heudiasyc)
Qualité de service et systèmes contrôlés ́en réseau Qds & SCR, Jean-Philippe Georges (CRAN)
Intergiciels pour le temps réel, Jérôme Hugues (ISAE)