Sites Inria

English version

Equipe de recherche SPADES

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

Présentation de l'équipe

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 ?

Suivez Inria