KALRAY - CIFRE KALRAY, 2019-2022 Implementing and analyzing safety critical systems on a many-core architecture
KALRAY-CompCert - CIFRE 2018-2021 An efficient CompCert certified compiler with a backend for the KVX core
Other Projects
Coopération Argosim - 2013-... The Argosim company, hosted in Verimag between 2013 and 2015, designed an industrial version of Lutin.
Cooperation PragmaDev - 2006-2026
PragmaDev provides a set of modeling and testing tools that helps managing complexity inherent to developing state of the art communicating systems. PragmaDev Studio integrates different tools based on international standards. The tools target architects/system engineers, developers, and testers. PragmaDev Specifier helps system engineers to unambiguously specify and verify the functionalities of the system, and define the best architecture for performance or energy efficiency. The (...)
Moc4Space - ESA, ITT, 2021-2022 Model Checking for Formal Verification of Space Systems