Accueil > Verimag > Projets > Projets

Projets


Projets en cours

    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 (...)

Projets Terminés


Contact | Plan du site | Site réalisé avec SPIP 4.2.8 + AHUNTSIC [CC License]

info visites 3885959