UBO - Université de Bretagne Occidentale
 
Session doctorants : Atelier de l'école d'été

 

 

Développement d'applications temps-réel

 

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

 

Sylvain Cotard -- La tolérance aux fautes et les systèmes temps réel embarqués multicoeur

 

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

 

Fabien Cadoret, Laurent Pautet and Thomas Robert -- Extraction de contraintes temporelles d'un modèle d'architecture temps-réel

 

Ordonnancement, support d'exécution et réseaux

 

Xuan Hung Nguyen and Gerard Mouney -- Spécification du protocole "CAN like" pour la couche MAC des réseaux locaux sans fil

 

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

 

Amira Dkhil and Stephane Louise -- Prédictibilité des architectures MPSoC pour l’analyse du WCET, Etat de l’art

 

Thomas Megel, Mathieu Jan, Vincent David and Christian Fraboul -- Mécanismes de migration pour des systèmes distribués temps-réel stricts

 

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

 

Méthodes formelles

 

Elie Fares, Jean Paul Bodeveix and Mamoun Filali -- Vérification de Modèles BPEL 2.0 Temporisés

 

Jean-Paul Bodeveix, Abdeldjalil Boudjadar and Mamoun Filali – Une Définition Alternative pour la Composition des Systèmes Temporisés

 

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