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
  • ESTATE - ANR Project 2016-2020
    Enhancing Safety and self-sTAbilization in Time-varying distributed Environments
  • 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
  • STMicroelectronics - CIFRE STMicroelectronics Grenoble, 2018-2021
    Adding Diagnostic Features to Digital Twins for Systems-on-a-Chip
  • Autres projets

  • 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 (...)
  • Moc4Space - ESA, ITT, 2021-2022
    Model Checking for Formal Verification of Space Systems

Projets Terminés


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

info visites 1789298