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 (…)
SKYDATA : A new data paradigm : Intelligent and Autonomous Data - 2022-2026, ANR

Autres projets

BVSec - Binary Vision for Security testing
BVSec develops cutting-edge artificial intelligence solutions for the automatic detection of software vulnerabilities and malware. Situated at the intersection of scientific research and industrial applications, the project leverages innovative binary file analysis techniques coupled with deep learning to enhance information system security. BVSec enables large-scale analysis efficiently, without the need to execute or decompile the code.

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