CEA LIST - Accord/UML: les équipes de recherche

Pour nous contacter: prénom.nom@cea.fr

Membres permanents:

Ing. Dr. Sébastien Gérard - Sébastien Gérard est titulaire d'un doctorat en informatique, et également diplômé de l'ENSMA (Ecole Nationale Supèrieure de Mécanique et Aéronautique). Une première expérience d'un an au LISI (Laboratoire d'Informatique Scientifique et Industrielle) de Poitier durant laquelle il s'est intéressé à une méthodologie de mesure du pire temps d'exécution (ou WCET pour Wort case Execution Time). A l'heure actuelle, il est chercheur au CEA LIST où il dirige l'équipe Accord/UML sur le thème de l'ingénierie des modèles pour le développement de sustèmes temps réel embarqués.Il est également très impliqué dans les activités de standardisation d'UML, dans les groupe U2P et RTAD (Real-Time Analysis Design), à l'origine de nombreux travaux sur UML pour le temps réel, en particulier du profil UML pour l'ordonnancement et les performances (SPT), et du profil UML pour la qualité de service et la tolérance aux pannes. Il est également l'initiateur d'une série de workshops, Sivoes (www.sivoes.org) consacrés au développement à base de modèles de systèmes temps réel embarqués distribués, ainsi que co-organisateur de l'école d'été "MDD for DRES" qui a eu lieu en France en septembre 2004.

Ing. Yann Tanguy - 28 ans, il est ingénieur diplômé en 1999 de l'ENSEEIHT (Ecole Nationale Supérieure d'Electronique, d'Electrotechnique, d'Informatique et d'Hydraulique de Toulouse) a rejoint le laboratoire LLSP du CEA LIST en 2001 après deux années d'activité en tant que prestataire au sein de la branche service de la société IBM. Il est chef de projet CEA jusqu'en septembre 2003 sur le projet labellisé RNTL ACOTRIS (Analyse et Conception à Objets Temps Réel pour Implantation Synchrone) qui a permis d'établir des connexions entre la méthodologie Accord/UML et les outils et langages issus des approches synchrones. Il est actuellement responsable du montage dans le cadre du consortium CARROLL (Thales, INRIA, CEA) d'un projet de plate-forme logicielle (CARROLL MDD) dédiée au développement dirigé par les modèles, ainsi que de la mise en place d'un projet open source destiné à valoriser les futurs résultats et développements issus du projet CARROLL MDD. Au sein du LLSP, Yann Tanguy est plus particulièrement responsable des outils supports associés à la méthodologie Accord/UML qui cible le développement de systèmes temps réels embarqués à l'aide du langage de modélisation UML.

Dr. Hubert Dubois - Hubert Dubois a commencé à travailler dans le laboratoire CEA LIST/L-LSP en septembre 2002. Ces travaux l'ont amené à travailler sur la modélisation de systèmes embarqués temps-réel et plus particulièrement sur la méthodologie Accord/UML. Son axe principal de recherche porte sur les ponts techniques que l'on peut établir entre de tels modèles et des techniques dédiées à la vérification ou la validation. Cela lui permet de travailler sur la génération de tests, l'analyse d'ordonnancement et de performances notamment. Auparavant, Hubert Dubois a enseigné dans les universités de Nancy où il avait effectué son doctorat dans le projet PROTHEO du LORIA, laboratoire associé à l'INRIA. Ses travaux de thèse portaient sur le lien entre les techniques de réécriture et les systèmes de règles de production utilisés en déduction automatique et plus particulièrement sur la définition d'une sémantique basée sur la réécriture pour certains types de langages objets.

Ing. Dr. David Servat - Docteur de l'Université de Paris 6 et ingénieur de l'ENST, David Servat a rejoint le L-LSP en septembre 2002. Au sein de l'équipe Accord/UML il mène des recherches sur le développement d'une approche par composants pour la conception de systèmes temps-réel distribués. Cette thématique comprend des travaux sur les plateformes à base de composants offrant un support d'exécution et la projection de modèles d'interaction de haut niveau sur des architectures spécifiques (Projet RNTL CLIPS). Auparavant, David Servat a mené des travaux de recherche sur l'utilisation de systèmes distribués pour la modélisation de systèmes complexes dans le cadre de collaborations entre le LIP6 et des organismes de recherche travaillant sur la modélisation d'écosystèmes (IRD, CIRAD).

Dr. Ansgar Radermacher - Après avoir obtenu sa thèse de doctorat à l'Université Technique d'Aix-la-Chapelle sur la distribution semi-automatique d'un logiciel au-dessus d'une plateforme middleware, il a passé quatre ans dans la division "Corporate Technology" de Siemens à Munich, où il a travaillé dans une équipe de logiciels embarqués pour différents projets dans le domaine automotive, en particulier des systèmes d'information intégrés. Il a récemment rejoint le projet Accord/UML du laboratoire CEA LIST/SOL/L-LSP afin de travailler dans le secteur du middleware pour les systèmes temps réel et embarqués. Au sein de cette équipe, il y est plus particulièrement en charge des projets européens MERCED et COMPARE et il est également responsable de la plateforme intergiciel lié au projet Accord/UML et nommée Accord.

Ing. Sylvain Robert - il est diplômé de Sup'Aéro (ENSAE - Ecole Nationale Supérieure de l'Aéronautique et de l'Espace) en tant qu'ingénieur en aéronautique, de la filière Automatique/Systèmes Embarqués. Après une première expérience au sein de la SAGEM, où il est intervenu en tant qu'ingénieur de recherche et de développement en logiciel embarqués, il a intégré le LLSP (Laboratoire Logiciel pour la Sûreté des Procédés) où il appartient au thème « ingénierie des modèles pour le développement de systèmes temps réel embarqués ». Il s'est plus particulièrement spécialisé sur les problématiques liées aux supports d'exécution (« middleware ») pour les applications TRE. Dans ce contexte, il est impliqué dans plusieurs projets de recherche nationaux et européens, parmi lesquels le projet ICE mené conjointement avec Thalès dans le cadre du programme CARROLL, et le projet européen (ITEA) MERCED.

L'équipe Accord/UML