KALRAY - CIFRE KALRAY, 2019-2022 Implementing and analyzing safety critical systems on a many-core architecture
Autres projets
Coopération Argosim - 2013-... The Argosim company, hosted in Verimag between 2013 and 2015, designed an industrial version of Lutin.
Cooperation PragmaDev - 2006-...
PragmaDev est un éditeur de logiciel Français qui propose différents outils intégrés au sein de deux environnements : 1) PragmaDev Process permet de décrire ou d’importer un processus métier avec la notation BPMN et de vérifier qu’il est correct. 2) PragmaDev Studio permet de décrire : l’architecture, la spécification fonctionnelle, la conception, les tests de conformité, des systèmes temps réel embarqués. Il intègre plusieurs outils basés sur des standards internationaux qui s’adressent à des ingénieurs (...)
Moc4Space - ESA, ITT, 2021-2022 Model Checking for Formal Verification of Space Systems