Affiliated Industrial Partners
Astrium Space Transportation (EADS)
David Lesens
Role within the ArtistDesign European Network of Excellence
Role within the Artist2 European Network of Excellence
Provide case study to specificy industrial needs and evaluate produced technologies
david.lesens@space.eads.net
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) Artist2 Consortium, All Rights Reserved - 2006