General overview

The IFSE working-group is an animation and reflexion group concerned with embedded systems formal engineering. It carries on works undertaken by the CNRS federal structure FERIA, whose the participants were IRIT, LAAS-CNRS and ONERA.


Embedded systems engineering focuses on the set of processes, methods and tools that aim at the development of embedded systems. The main topics of IFSE concern formal grounds of the Engineering approach: logic; proof; model-checking; transformation and their proof of correctness; ... and their integration in a System Engineering framework.

This work will target a large audience, with a focus on promoting exchanges with international partners. The results will also contribute to increase the synergy between academics and our industrial partners in the Aeronautic and Space domains.