Projets
Projets Nationaux
- CAOTIC : Collaborative Action on Timing Interferences - 2022-2026, ANR
Project CAOTIC is an ambitious initiative aimed at pooling and coordinating the efforts of major French research teams working on the timing analysis of multicore real-time systems, with a focus on interference due to shared resources. The objective is to enable the efficient use of multicore in critical systems. Based on a better understanding of timing anomalies and interference, taking into account the specificities of applications (structural properties and execution model), and (…)
- TAVA - ANR 2021 - 2024
Toward Automated Vulnerability Analyses
Autres projets
- ALDIWO - Anti-Limits in the Digital World
CNRS MITI 2023-2024
- 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 (…)
- ADE - European H2020, 2018-2020
- AEPS - ANR 2016-2017
- Airbus Helicopters - CIFRE Airbus Helicopters, 2015-2018
- ARAMIS - PIA 2014-2018
- BINSEC - ANR 2013-2017
- BRAIN-IoT - European H2020, 2018-2020
- CADMIDIA - ANR 2013-2017
- CASERM - Persyval-Lab Equipe-Action 2016-2019
- CITADEL - European H2020, 2016-2019
- CLAM - Labex-Persyval 2021-2024
- COMPACS - ANR 2014-2017
- Coverage guided testing of automative models - Toyota, 2014-2017
- ERGO - European, H2020, 2016-2019
- ESROCOS - European, H2020, 2016-2019
- ESTATE - ANR Project 2016-2020
- IoIT - Equipes-actions, Labex Persyval-lab 2015-2018
- Kalray - CIFRE Kalray, 2015-2018
- KALRAY - CIFRE KALRAY, 2019-2022
- KALRAY-CompCert - CIFRE 2018-2021
- MALTHY - ANR INS, 2014-2017
- Mistral - European, JIP-ICET 2, 2014-2017
- Moc4Space - ESA, ITT, 2021-2022
- Model-based Testing for Embedded Systems - Bosch, 2015-2016
- RT-PROOFS - ANR-PRCI 2018-2021
- SACADE - ANR 2017 - 2019
- SAFENAV - European, H2020, 2016-2017
- SECURIOT-2 - 2018-2020
- STATOR - ERC project 2013 -2017
- Stimulus generation for model generation - EASII IC, 2015-2016
- STMicroelectronics - CIFRE STMicroelectronics, 2014-2017
- STMicroelectronics - CIFRE STMicroelectronics Grenoble, 2018-2021
- SUCCESS - European, CHIST-ERA, 2016-2020
- Terra - Projet MSTIC UJF 2011-2012
- Test Generation for Simulink Models - UTRC, 2015-2016
- UnCoVerCPS - European H2020, 2015-2018
- Variabilité des Circuits Analogiques Hiérarchiques (NANO 2017) - Métro, 2015-2017
- VECOLIB - ANR Project 2014 - 2018
- VOCaL (The Verified OCaml Library) - ANR 2015-2019
Navigation