SPADES - Sound Programming of Adaptable Dependable Embedded Systems
Equipe-projet de recherche commune INRIA et CNRS, Grenoble INP, UGA
Axe : 
Responsable : 
Gregor Goessler
Site Web : 
https://team.inria.fr/spades/
Téléphone/Fax : 
04 76 61 54 76
Bâtiment : 
The SPADES project-team aims at mastering the complexity and dependability of networked embedded computing systems by focusing on three key questions:
  • How to build networked embedded systems as adaptive modular structures?
  • How to program systems with resource and behavioral constraints on multicore architectures?
  • How to program reliable and fault-tolerant embedded systems with different levels of criticality?
Research Themes:
  • (1) Components and contracts
    • Semantical foundations for embedded component-based design
    • Composition and contracts for embedded component-based design
  • (2) Real-time energy-efficient multicore programming
    •     GALS programming languages
    •     High-level programming languages for Precision-Timed machines
    •     Specialized programming models and languages.
  • (3) Language-based fault tolerance
    •     Composable abstractions for fault-tolerant programming
    •     Separating fault-tolerance concerns
    •     Tracking and exploiting causality for fault-tolerance

Membres permanents

Nom Prénom Statut Téléphone
BODIN Martin Chercheur
FRADET Pascal Chercheur
GIRAULT Alain Directeur de recherche
GOESSLER Gregor Chercheur 04 76 61 54 20
NICOLLIN Xavier Maître de conférences 04 76 61 54 57
QUINTON Sophie Chercheur
STEFANI Jean-bernard Directeur de recherche

Membres non permanents

Nom Prénom Statut Téléphone
MARI Thomas Doctorant
RASOLDIER Aina Doctorant 04 76 61 54 70
VASSOR Martin Doctorant 04 76 61 52 91
S'abonner à RSS - SPADES