Time-accurate Virtualization

May 2017 — Oct 2017.

This project is a direct collaboration with SCALIAN Eurogiciel to work on a middleware for communication protocol virtualization that is faithfull with respect to timing constraints.


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.