UBO - Université de Bretagne Occidentale
 
Programme des sessions doctorants

 

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
 
 

 

Mentions Légales | Accueil | Plan du site | Edition en ligne