Projects

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

BRiefcaSE

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](http://www.fondation-stae.net/) concerned with formal methods for system engineering.

ITEmIS

Oct 2008 — Dec 2011. ITEmIS (_Integrated Embedded Systems and Information Systems_) is a project funded by ANR. The goal of the project is to define an abstract reference system architecture, a methodology, and a set of algorithms (transformed into tools, mechanisms, protocols and correctness verification algorithms) for realizing large systems of systems, integrating multiple levels, from information systems to mobile, embedded systems.

Quarteft

Apr 2009 — Nov 2012. Quarteft (_QUAlifiable Real TimE Fiacre Transformations_) is a project funded by [FNRAE](http://www.fnrae.org/), 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.

CESAR

Mar 2009 — Jun 2012. CESAR stands for _Cost-efficient methods and processes for safety relevant embedded systems_; it is a European funded project from ARTEMIS JOINT UNDERTAKING (JU).

OpenETCS

Apr 2012 — Dec 2015. The purpose of the openETCS project is to follow an _open approach_ (Open Proofs and Open Source) for developping an integrated modeling, validation and testing framework for the ETCS, the _European Train Control System_.