Les logiciels sûrs et systèmes embarqués

3 équipes dédiées d'INRIA 

CONVECS : Construction de systèmes concurrents vérifiés

PRIVATICS : Modèles, architectures et outils pour la protection de la vie privée. 

SPADES : Programmation de systèmes embarqués sûrs et adaptatifs