List of publications

Research topics (present to past)

• Model-driven development of safety critical and embedded systems. Check out the website of the IFx-OMEGA tool :
• Design and verification of real-time systems: IF language and tool-set.
• Semantics of real-time and distributed systems.
• Formalisation of object oriented languages. Analysis and design languages. Computer aided software engineering tools.

Program committees

MARTES'05,   MARTES'06,   SafeCert'08,   ACES^MB 2008 (chair),   MODELS Research Projects Symposium 2008 (chair),   SafeCert'09,   ACES^MB 2009 (steering),   MODELS'09 Doctoral Symposium,   ACES^MB 2010 (steering),   MODELS 2010,   SDL 2011 (PC co-chair),   ANT 2012,   MDE4NAS 2012 (co-chair)

Reviewer for: Journal of Control Engineering Practice, IEEE Transactions on Industrial Informatics.

Organized events

• 15th International Conference on System Design Languages (SDL Forum 2011) : General co-chair
• International Workshop on Model Based Architecting and Construction of Embedded Systems (ACES^MB) : Steering Committee, Organizing Committee (2008,2009,2010).
• Organizer of the MODELS'08 Research Projects Symposium.
• Co-organized MARTES'2006 and MARTES'2005 workshops (http://www.martes.org) together with Susanne Graf, Sébastien Gérard, Oystein Haugen and Bran Selic.
• Involved in the local organization of the French-speaking international conference LMO'2007 - Langages et Modèles à Objets.

Projects (ongoing and past)

FullMDE (website not yet available)

European Space Agency Project "Full Model Driven Development for On-Board Software." (2009-2011)

Omega UML2

European Space Agency Activity 3-12639 (2009-2010)

SoCKET (website not yet available)

French DGE Project "System on Chip toolKit for critical Embedded sysTems" (2008-2011)

DOMINO

French ANR Project "DOMaINes et prOcessus méthodologique" (2007-2009)

ASSERT

IST Integrated Project "Automated proof based System and Software Engineering for Real-Time" (2004-2007)

OMEGA

IST Project "Correct Development of Real-Time Embedded Systems in UML" (2002-2005)

INTERVAL

IST Project "Formal design, validation and testing of real-time telecommunication systems" (1999-2001)

PhD Students

Iulia Dragomir (2010 - )

Co-advised with C. Percebois
Subject: System to software level refinement of embedded system designs.

El Arbi Abussoror (2010 - )

Co-advised with Ileana Ober
Subject: Advanced diagnostic methods in formal model validation. Applications to systems-on-chip (SoC).

Hong-Viet Luong (graduated in October, 2010)

Co-advised with C. Percebois, A-L. Courbis, T. Lambolais
Subject: Incremental construction and verification of system specifications.

Younes Lakhrissi (graduated in July, 2010)

Co-advised with B. Coulette
Subject: Integration of behavior models in view-based analysis and design.

M.Sc. Students

Julien Hadba (graduated in July, 2010)

Subject: Modeling, simulation and verification of ATV's solar panel deployment sub-system with Omega SysML.

Iulia Dragomir (graduated in July, 2010)

Subject: Semantic formalization and verification of composite structures.

Ouzzin Ben Haddou (graduated in July, 2009)

Co-advised with Philippe Dhaussy (ENSIETA, Brest)
Subject: A case study on formal modeling and validation of a space application from CNES.

Tristan Faure (graduated in July, 2007)

Co-advised with Maurice Heitz (CS)
Subject: Integration of the Omega UML profile and tools in the ASSERT IDEA framework.