Section: Contracts and Grants with Industry

FUI project P

Participants : Loïc Besnard, Thierry Gautier, Paul Le Guernic, Christophe Junke, Jean-Pierre Talpin.

The aim of project P is 1/ to aid industrials to deploy model-driven engineering technology for the development of safety-critical embedded applications 2/ to contribute on initiatives such as OPEES and CESAR to develop support for tools inter-operability and 3/ provide state-of-the-art automated code generation techniques from multiple, heterogeneous, system-levels models. The focus of project P is the development of a code generation toolchain starting from domain-specific modeling languages for embedded software design and to deliver the outcome of this development as an open-source distribution, in the aim of gaining an impact similar to GCC for general-purpose programming, as well as a kit to aid with the qualification of that code generation toolchain.

The contribution of team ESPRESSO in project P is to bring the necessary open-source technology of the Polychrony environment to allow for the synthesis of symbolic schedulers for software architectures modeled with P in a manner ensuring global asynchronous deterministic execution.