Systèmes embarqués
- Thématique du laboratoire
- Unité mixte de recherche
Activités
Thèmes de recherche
Les systèmes informatisés contrôlent de nombreux objets professionnels ou de la vie quotidienne, y compris ceux qui assurent des fonctions critiques dans le transport (automobile, avionique, ferroviaire, spatial), les télécommunications, les robots, le secteur bancaire ou celui de la santé, pour lesquels les attentes en matière de sécurité et de sûreté sont particulièrement fortes.Les travaux de Verimag visent à produire des outils théoriques et techniques permettant de répondre à ces attentes avec une rigueur mathématique, sur un large spectre de problèmes pouvant porter sur des circuits, des processeurs, des systèmes analogiques ou hybrides, des compilateurs, des protocoles de sécurité, des algorithmes distribués, des systèmes intégrant de l’IA, en particulier dans le contexte des systèmes critiques.