Aller au contenu principal

SPADES - Sound Programming of Adaptable Dependable Embedded Systems

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
  2. Programmation multicœur en temps réel à faible 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
  3. 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

SPADES

Responsable   Gregor GOESSLER
Site Web   https://team.inria.fr/spades/
Téléphone   04 76 61 54 20
Bâtiment   Montbonnot - INRIA

Publié le 16 octobre 2020

Mis à jour le 5 mars 2024