Equipe-projet de recherche commune INRIA et CNRS, Grenoble INP, UGA
Axe : Méthodes Formelles, Modèles et Langages

L’équipe-projet SPADES cherche à maîtriser la complexité et la fiabilité de systèmes informatiques embarqués en réseau. Elle se concentre pour cela sur trois questions clés :

  • Comment construire des systèmes embarqués en réseau comme des structures modulaires adaptatives ?
  • Comment programmer des systèmes avec des contraintes de ressources et de comportement sur des architectures multicœurs
  • Comment programmer des systèmes embarqués fiables et tolérants aux pannes avec différents niveaux de criticité ?

Axes de recherche

  1. Composants et contrats
  • Fondements sémantiques de la conception à partir de composants embarqués
  • Composition et contrats pour la conception à partir de composants embarqués
 
  1. Proggrammation multicœur en temps réel à aible consommation d'énergie
  • Langages de programmation de type GAL
  • Langages de programmation de haut niveau utilisés dans les machines precision-timed (PRET)
  • Modèles et langages de programmation spécialisés
 
  1. Tolérance aux pannes basée sur le langage
  • Abstractions composables pour la programmation de tolérance aux pannes
  • Distinction des problèmes liés à la tolérance aux pannes
  • Suivi et exploitation de la causalité dans la tolérance aux pannes