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

Institut polytechnique de Grenoble,Université de Grenoble Alpes

Contacts

Gregor Goessler

Responsable de l'équipe

Julia Di Toro

Assistant(e) de l'équipe

Dans l'actualité