Home > Verimag > Projects > Projects


Verimag is or has been involved in the following Projects

Current Projects

    Supported by National Programs

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

  • ANR CAOTIC: Collaborative Action on Timing Interferences - 2022-2026
    Partners: CEA LIST, INRIA, IRISA, IRIT, IRT, LS2N, LTCI 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 (...)
  • 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 (...)

Past Projects

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

info visites 1996039