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 (...)
- ACE - CNRS INS2I 2016
- ACOSE - BGLE, Invesstisment d’avenir, 2011-2014
- ACROSS - European IST, FP7, ARTEMIS JU, 2010-2013
- ADE - European H2020, 2018-2020
- AEPS - ANR 2016-2017
- AGEDIS - FP5 IST, 2000-2003
- Airbus Helicopters - CIFRE Airbus Helicopters, 2015-2018
- ALIDECS - ACI Sécurité, 2004-2007
- AMETIST - European IST, 2002-2005
- APRON - ACI Sécurité, 2004-2007
- ARAMIS - PIA 2014-2018
- ARESA - ANR, 2006-2009
- ARESA2 - ANR VERSO, 2009-2013
- ArrowHead - ARTEMIS AIPP, European, 2013-2017
- ArtistDesign - Network of Excellence, 2008-20..
- ASCENS - European IST, 2010-2014, FP7-ICT-2009-5 project number : 257414
- ASOPT - ANR, 2009-2012
- ASSERT - FP6 IP, 2004-2008
- ATHOLE - Minalogic, 2007-2010
- AVOTE - ANR-SESUR-07-002, 2008-2012
- BINSEC - ANR 2013-2017
- BRAIN-IoT - European H2020, 2018-2020
- CADMIDIA - ANR 2013-2017
- CAPACITES - PIA LEOC, 2014-2017
- CASERM - Persyval-Lab Equipe-Action 2016-2019
- CC - European IST, 2002-2005
- CERTAINTY - European IST, FP7, 2011-2013
- CESyMPA - Persyval-Lab Exploratory Project 2013-2014
- CHAPI - FUI, 2010-2013
- CITADEL - European H2020, 2016-2019
- CLAM - Labex-Persyval 2021-2024
- COMBEST - FP7 IST STREP 215543, 2008-2010
- COMON - Minalogic, 2009-2012
- COMPACS - ANR 2014-2017
- CORTOS - ACI CNRS, 2007-2008
- Coverage guided testing of automative models - Toyota, 2014-2017
- CPSE-Labs - European, H2020, 2015-2016
- CRISYS - IST, 1997-2001
- CTRC - Persyval-Lab Exploratory Project 2015-2016
- CyPhERS - European FP7, Support Action, 2013-2015
- D-MILS - European STREP FP7, 2012-2015
- DACRAW - Persyval-Lab Exploratory Project, 2014-2015
- DECIDE ! - RNTL, 2006-2007
- ERGO - European, H2020, 2016-2019
- ESROCOS - European, H2020, 2016-2019
- ESTATE - ANR Project 2016-2020
- FoToVP - ANR, ARA-SETIN, 2006-2009
- Full MDE - ESA Contract, 2010-2011
- HELP - ANR Arpège, 2009-2013
- IoIT - Equipes-actions, Labex Persyval-lab 2015-2018
- Kalray - CIFRE Kalray, 2015-2018
- KALRAY - CIFRE KALRAY, 2019-2022
- KALRAY-CompCert - CIFRE 2018-2021
- LISE - ANR-07-SESUR-007, 2008-2011
- MALTHY - ANR INS, 2014-2017
- ManycoreLabs - BGLE, Investissement d’avenir, 2012-2015
- MARAE - FNRAE, 2008-2010
- MIND - Minalogic, 2008-2010
- Mistral - European, JIP-ICET 2, 2014-2017
- Moc4Space - ESA, ITT, 2021-2022
- Model-based Testing for Embedded Systems - Bosch, 2015-2016
- MoSATT-CMP - ESA ITT 1-ITT 1-7646/13/NL/JK, 2014-2016
- MULTIFORM - European IST, 2008-2012
- NextTTA - IST, 2002-2004
- OMEGA - IST-2001-33522 OMEGA, 2002-2005
- OpenEmBeDD - ANR platform, 2006-2009
- OpenES - European CATRENE Project 2013-2016
- openTLM - Minalogic, 2006-2010
- Orange Labs - CIFRE orange Labs, 2013-2016
- P2R Bioinformatique - French-Israeli, 2006-2009
- PADEC - AGIR-Pôle-MSTIC 2015
- PerSiForm - RNRT/ANR, 2005-2008
- PRO3D - European IST, 2009-2012
- Proofer - PREDIT, 2006-2008
- PROSE - ANR 2010-VERS-004
- PROSYD - European IST, 2004-2007
- PROVE - RNTL, 2003-2007
- RISE - FP5 IST-2001-38117, 2002-2004
- RT-PROOFS - ANR-PRCI 2018-2021
- SACADE - ANR 2017 - 2019
- SafeAir II - IST, 2002-2004
- SAFENAV - European, H2020, 2016-2017
- SARGON - European, ESA, 2015-2017
- SCALP - ANR-SESUR-012, 2008-2011
- SECURIOT-2 - 2018-2020
- SERTIF - ANR ASTRID 2014-2016
- SFINCS - ANR-SESUR-012, 2008-2011
- SHIVA - Minalogic, 2009-2011
- SMECY - European IST, FP7, ARTEMIS JU, 2010-2013
- SPEEDS - FP6 IST IP-033471, 2006-2010
- 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
- Synchronics - AE INRIA, 2008-2012
- SYRF - Esprit "Long Term Research" Project 22703, 1996-1999
- Terra - Projet MSTIC UJF 2011-2012
- Test Generation for Simulink Models - UTRC, 2015-2016
- Transatlantic CPS Summit - ICT-2014-1c, Coordination & Support Action, European, 2014-2016
- UnCoVerCPS - European H2020, 2015-2018
- VAL-AMS - ANR SETIN, 2007-2010
- Variabilité des Circuits Analogiques Hiérarchiques (NANO 2017) - Métro, 2015-2017
- VECOLIB - ANR Project 2014 - 2018
- VEDECY - ANR ARPEGE, 2009-2012
- VERASCO - ANR INS, 2012-2015
- VERIDYC - ANR-09-SEGI-016, 2009-2012
- VOCaL (The Verified OCaml Library) - ANR 2015-2019
- VULCAIN - Projet-MSTIC, 2009-2010
- W-SEPT - ANR INS, 2012-2016
Navigation