Projects
Supported by National Programs
- 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
Other Projects
- 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 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 (…)
- 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
Browsing