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
  • Autres projets

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

Projets Terminés


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

info visites 1996042