Accueil > Verimag > Projets > Projets

Projets

Verimag est ou a été impliqué dans les projets suivants

Projets en cours

Projets Nationaux

CLAM - Labex-Persyval 2021-2024
Cross-Layer Fault Analysis for Microprocessor Architectures
TAVA - ANR 2021 - 2024
Toward Automated Vulnerability Analyses

Partenariat (CIFRE)

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

Projets Terminés

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
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-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
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
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