Project-team

SPADES

Sound Programming of Adaptive Dependable Embedded Systems
Sound Programming of Adaptive Dependable Embedded Systems
  1. Home
  2. The project-teams
  3. SPADES

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

Gregor Goessler

Team leader

Julia Di Toro

Team assistant

Discover similar project-teams
Discover similar project-teams about the same theme