Project-team

SPADES

Sound Programming of Adaptive Dependable Embedded Systems
Sound Programming of Adaptive Dependable Embedded Systems

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 distributed embedded systems as adaptive modular structures?
  2. How to program certified systems with resource and real-time constraints?
  3. How to program fault-tolerant and explainable embedded systems?
Centre(s) inria
Inria Centre at Université Grenoble Alpes
In partnership with
Université de Grenoble Alpes

Contacts

Team leader

Julia Di Toro

Team assistant