Equipe-projet

SPADES

Programmation de systèmes embarqués sûrs et adaptatifs
Programmation de systèmes embarqués sûrs et adaptatifs

L'équipe-projet SPADES cherche à maîtriser la complexité et la fiabilité de systèmes embarqués répartis en se concentrant sur trois questions clés :

  1. Comment construire des systèmes embarqués répartis comme des structures modulaires adaptatives ?
  2. Comment programmer des systèmes certifiés avec des contraintes de ressources et temps-réel ?
  3. Comment programmer des systèmes embarqués tolérants aux fautes et dont les dysfonctionnements soient explicables ?
Centre(s) inria
Centre Inria de l’Université Grenoble Alpes
En partenariat avec
Université de Grenoble Alpes

Contacts

Gregor Goessler

Responsable de l'équipe

Julia Di Toro

Assistant(e) de l'équipe

Dans l'actualité