recent

Daedalus

Oct 20218 — Oct 2021. “_In a perfect world, models would always be correct and verification tools would answer all our questions. In the Daedalus project, we are preparing for an imperfect world._” Daedalus (__Debugging Architecture Description Languages__ ) is a project funded by [RTRA STAE](http://www.fondation-stae.net/ ). Its main objective is to bridge the gap between: (1) automatic generation of code that is _correct by construction_; and (2) automatic verification of behavioral models.

MOISE

Dec 2015 — Apr 2019. MOISE is a project on methods and tools for __model-based collaborative system engineering__ (requirement engineering, multi-view modeling and verification, system engineering in extended enterprise). This project was supported by [Projet Investissements d'Avenir](https://www.gouvernement.fr/search/site/pia) and the _Embedded Systems_ technology domain at [IRT Saint-Exupéry](http://www.irt-saintexupery.com/expertise/embedded-systems/).

Synapse

March 2016 — Dec 2019. Synapse is a project developping new technologies for __Earth Observation space systems__ (smart programming of constellations, onboard and ground autonomous processing, ground infrastructures for big data processing). This project is supported by [Projet Investissements d'Avenir](https://www.gouvernement.fr/search/site/pia) and the _Embedded Systems_ technology domain at [IRT Saint-Exupéry](http://www.irt -saintexupery.com/expertise/embedded-systems/).