Section: Bilateral Contracts and Grants with Industry

ADN4SE Project

Participant : Stephan Merz.

Joint work with Damien Doligez of Inria Paris Rocquencourt and Jael Kriener and Tomer Libal at the Joint MSR-Inria Centre.

The ADN4SE project started in 2013 within Programme d'Investissements d'Avenir: Briques Génériques du Logiciel Embarqué and is coordinated for Inria by the Gallium team in Rocquencourt. The objective of this project is to develop and commercialize the PharOS real-time micro-kernel operating system. In cooperation with researchers at CEA List, we are contributing to the project by verifying key properties (in particular, determinism) of a high-level model of the system written in TLA+.