Joint research team between CNRS, Grenoble INP, UGA
Area : Formal Methods, Models, and Languages

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

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

Research Themes

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