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

  • Design and programming  models
    • semantical foundations for embedded component-based design
    • composition and contracts for embedded component-based design
    • dynamic data-flow models
  • Certified real-time programming
    • scheduling and schedulability analyses
    • predictability
    • specialized programming models and languages
  • Fault management and causal analysis
    • reversibility for fault-tolerant programming
    • tracking and exploiting causality for fault tolerance, fault ascription, and explanation

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: Fault management in virtualized networks. Data-flow models of computation of SDR and IoT applications.