Informations générales Après avoir effectué ma thèse CIFRE au sein de l'équipe Systèmes Temps Réel de l'IRCCyN, je travaille actuellement comme (docteur-) ingénieure R&D pour Sodius, l'entreprise partenaire de ma CIFRE. Contact Adresse postale :   Sodius   6 rue de Cornouaille   BP 91941   44319 Nantes CEDEX 03 Téléphone :   +33 2 28 23 60 60 Fax :   +33 2 28 23 60 57 Courriel :   cseidner@no-spam-sodius.com   (retirer no-spam-)

Thèmes de recherche(s)

Je m'intéresse à la simulation et à la vérification formelles de certains modèles d'architectures fonctionnelles employés en Ingénierie Système (IS). Mes thèmes de recherche incluent ainsi :

• la formalisation et la simulation des EFFBDs (Enhanced Functional Flow Block Diagrams), un langage de modélisation des architectures fonctionnelles, largement employé en conception d'IS ;
• le model checking de propriétés de sûreté de fonctionnement sur les EFFBDs ;
• le model checking de propriétés TCTL (Timed Computation Tree Logic) sur les réseaux de Petri temporels ;
• la transformation de modèles par l'approche MDA/MDE (Model Driven Architecture/Engineering).

Dernières nouvelles

Le 3 novembre 2009, j'ai soutenu ma thèse de doctorat, intitulée Vérification des EFFBDs : Model checking en Ingénierie Système. Le jury était composé de :

• Charles André (président), professeur à l'Université Nice Sophia Antipolis (I3S) ;
• Fabrice Kordon (rapporteur), professeur à l'Université P. & M. Curie (LIP6) ;
• François Vernadat (rapporteur), professeur à l'INSA Toulouse (LAAS) ;
• Éric Niel (examinateur), professeur à l'INSA Lyon (Ampère) ;
• Olivier (H.) Roux (directeur de thèse), maître de conférences HDR à l'Université de Nantes (IRCCyN) ;
• Jean-Philippe Lerat (encadrant entreprise), P.D.G. de Sodius ;
• Jean-Luc Wippler (invité), Ingénieur système à C-S.

Le manuscrit de thèse est disponible ici et sur HAL ; les transparents de la soutenance sont ici.