Skip to main content

SPADES - Sound Programming of Adaptable Dependable Embedded Systems

Joint research team between CNRS, Grenoble INP, UGA
Area : Formal Methods, Models, and Languages

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


Leader   Gregor GOESSLER
Phone   04 76 61 54 20
Building   Montbonnot - INRIA

Submitted on March 5, 2024

Updated on March 5, 2024