Accueil > Verimag > Projets > Projets

Projets

Verimag est ou a été impliqué dans les projets suivants

Projets en cours

    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

    • 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-2026
    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


Actualités

Séminaires

Nouvelles publications

Offres d'emploi et stages

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

info visites 1717597