Sites Inria

Version française

SPADES Research team

Sound Programming of Adaptive Dependable Embedded Systems

Team presentation

The SPADES project-team aims at mastering the complexity and dependability of networked embedded computing systems by focusing on three key questions:

  1. How to build networked embedded systems as adaptive modular structures?
  2. How to program systems with resource and behavioral constraints on multicore architectures?
  3. How to program reliable and fault-tolerant embedded systems with different levels of criticality?

Research themes

  • Components and contracts
    • Semantical foundations for embedded component-based design.
    • Composition and contracts for embedded component-based design.
  • Real-time energy-efficient multicore programming
    • GALS programming languages.
    • High-level programming languages for Precision-Timed machines.
    • Specialized programming models and languages.
  • Language-based fault tolerance
    • Composable abstractions for fault-tolerant programming.
    • Separating fault-tolerance concerns.
    • Tracking and exploiting causality for fault-tolerance. 

International and industrial relations

  • Thales: Early Performance assessment for evolving and variable Cyber-Physical Systems.
  • Daimler: Typical Worst Case Response-Time Analysis and its Use in Automotive Network Design.
  • Orange R&D: GlobalOS framework. Data-flow models of computation of SDR and IoT applications.