SPADES - Sound Programming of Adaptable Dependable Embedded Systems
Joint research project-team INRIA and CNRS, Grenoble INP, UGA
Leader: 
Phone: 
+33 4 76 61 54 76
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

Permanent members

Last name First name Status Phone
BODIN Martin Chercheur
FRADET Pascal Chercheur
GIRAULT Alain Senior Research Scientist
GOESSLER Gregor Chercheur +33 4 76 61 54 20
NICOLLIN Xavier Associate Professor +33 4 76 61 54 57
QUINTON Sophie Chercheur
STEFANI Jean-bernard Senior Research Scientist

Non-permanent members

Last name First name Status Phone
MARI Thomas PhD Student
RASOLDIER Aina PhD Student +33 4 76 61 54 70
VASSOR Martin PhD Student +33 4 76 61 52 91
Subscribe to RSS - SPADES