High-confidence Embedded and Cyberphysical Systems
Research Teams
INRIA- Spades - Sound Programming of Adaptive Dependable Embedded Systems
- ConVeCS - Construction of Verified Concurrent Systems
- CORSE - Compiler Optimizations and Runtime Systems
- AMfoRS - Architectures and Methods for Resilient Systems
- PACSS - Proofs and Code analysis for Safety and Security
- Synchrone - Languages and tools for the design, simulation and verification of embedded systems
- Tempo - Timed and Hybrid Systems