SPADES - Sound Programming of Adaptable Dependable Embedded Systems
Equipe-projet de recherche commune INRIA et CNRS, Grenoble INP, UGA
Responsable : 
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
FRADET Pascal Chargé de recherche
GIRAULT Alain Directeur de recherche
GOESSLER Gregor Chargé de recherche
NICOLLIN Xavier Maître de conférences 04 76 61 54 57
QUINTON Sophie Chargé de recherche
STEFANI Jean-bernard Directeur de recherche

Membres non permanents

Nom Prénom Statut Téléphone
GUO Xiaojie Doctorant
JAMSHIDIAN SALES Leila Stagiaire 04 96 61 52 91
NAEIMIMOSHIRIAN Ebrahim Stagiaire
PLASSART Stephan Doctorant
PREVOT Christophe Doctorant 04 76 61 54 70
VASSOR Martin Stagiaire
S'abonner à RSS - SPADES