Home > Verimag > Projects > Projects


Verimag is or has been involved in the following Projects

Current Projects

    Projets Europeens

  • ADE - European H2020, 2018-2020
    Autonomous Decision Making in Very Long Traverses
  • Projets Nationaux

  • CLAM - Labex-Persyval 2021-2024
    Cross-Layer Fault Analysis for Microprocessor Architectures
  • 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.
  • 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
  • KALRAY-CompCert - CIFRE 2018-2021
    An efficient CompCert certified compiler with a backend for the KVX core
  • 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.
  • Cooperation PragmaDev - 2006-2026
    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 (...)
  • Moc4Space - ESA, ITT, 2021-2022
    Model Checking for Formal Verification of Space Systems

Past Projects

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

info visites 1745646