Home > Verimag > Projects > Projects

Projects

Verimag is or has been involved in the following Projects


Current Projects

    Supported by European Programs

  • ADE - European H2020, 2018-2020
    Autonomous Decision Making in Very Long Traverses
  • BRAIN-IoT - European H2020, 2018-2020
    Model-Based Framework for Dependable Sensing and Actuation in Intelligent Decentralized IoT Systems
  • SUCCESS - European, CHIST-ERA, 2016-2020
    The IoT has a great potential to provide novel services to humans in critical areas for society. This innovation however requires updating our understanding of the risks associated with the new technology so that we can deploy it with confidence and society can trust it. Amongst the biggest problems for this vision to become a reality are security flaws due to technical restrictions, immaturity of software applications, intrusion threats through new challenges in complex usage scenarios, (...)
  • Supported by National Programs

  • CASERM - Persyval-Lab Equipe-Action 2016-2019
    CASERM : Design and Analysis of Reconfigurable Multi-view Embedded Systems
  • ESTATE - ANR Project 2016-2020
    Enhancing Safety and self-sTAbilization in Time-varying distributed Environments
  • RT-PROOFS - ANR-PRCI 2018-2021
    Formal Proofs for Real-Time Systems – Mar. 2018 to Feb. 2021 with MPI-SWS, TU Braunschweig, INRIA Spades and Onera.
  • Partnership (CIFRE)

  • STMicroelectronics - CIFRE STMicroelectronics Grenoble, 2018-2021
    Adding Diagnostic Features to Digital Twins for Systems-on-a-Chip
  • Other Projects

  • Coopération Argosim - 2013-...
    The Argosim company, hosted in Verimag between 2013 and 2015, designed an industrial version of Lutin.
  • SECURIOT-2 - 2018-2020
    https://www.pole-scs.org/projet/securiot-2++cs_INTERRO++popup=1

Past Projects


Contact | Site Map | Site powered by SPIP 3.1.11 + AHUNTSIC [CC License]

info visites 1332853