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. 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.
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 and the Embedded Systems technology domain at IRT Saint-Exupéry.
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 and the Embedded Systems technology domain at [IRT Saint-Exupéry](http://www.irt -saintexupery.com/expertise/embedded-systems/).
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 and the Embedded Systems technology domain at IRT Saint-Exupéry
Apr 2013 — Sep 2016.
BRiefcaSE is a basic research project that targets methods involved in the specification, validation and verification of safety critical systems.
This project was part of the IFSE working group, an animation and reflexion group, financed by the RTRA STAE concerned with formal methods for system engineering.
Apr 2009 — Nov 2012.
Quarteft (QUAlifiable Real TimE Fiacre Transformations) is a project funded by FNRAE, the Fondation de la Recherche pour l’Aéronautique et l’Espace. The goal of the project is to study formal specification language and qualifiable model transformations in the context of critical embedded systems.