Role within the Artist2 European Network of Excellence
Provide case study to specificy industrial needs and evaluate produced technologies

Home page:

Research interests
Development of critical real-time embedded software
Model Driven Engineering
Validation & Verification
Automatic Code Generation, Automatic Test Generation

Notable past projects
ASSERT (EU project, coordinator ESA)
- Proof Based System Engineering
- Model Driven Approach

French cluster of competitiveness SYSTEM@TIC (Ile de France)
- Gateway from system models to software models
- Framework fot fault tolerant systems

Automatic Code Generation research project (ESA project)
- From Matlab/Simulink and SCADE model

OMEGA research project
- UML for real time critical software

(c) Artist Consortium, All Rights Reserved - 2006, 2007, 2008, 2009

Réalisation Axome - Création de sites Internet