System Engineering

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/).

Time-accurate Virtualization

May 2017 — Oct 2017. This project is a direct collaboration with [SCALIAN Eurogiciel](http://www.scalian.com/home/?lang=en) to work on a middleware for _communication protocol virtualization_ that is faithfull with respect to timing constraints.

Ingequip

Dec 2013 — Nov. 2016 Ingequip is a project on __Methods and tools for equipment engineering__ (system-hardware-software co-design, component-based development methods, formal verification methods). 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/)