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

Institut polytechnique de Grenoble,Université de Grenoble Alpes

Contacts

Team leader

Julia Di Toro

Team assistant