SPADES - Sound Programming of Adaptable Dependable Embedded Systems

L’équipe-projet SPADES cherche à maîtriser la complexité et la fiabilité de systèmes informatiques embarqués en réseau. Elle se concentre pour cela sur trois questions clés :

• Comment construire des systèmes embarqués en réseau comme des structures modulaires adaptatives ?
• Comment programmer des systèmes avec des contraintes de ressources et de comportement sur des architectures multicœurs
• Comment programmer des systèmes embarqués fiables et tolérants aux pannes avec différents niveaux de criticité ?

Axes de recherche

1. Composants et contrats
   • Fondements sémantiques de la conception à partir de composants embarqués
   • Composition et contrats pour la conception à partir de composants embarqués
2. Programmation multicœur en temps réel à faible consommation d'énergie
   • Langages de programmation de type GAL
   • Langages de programmation de haut niveau utilisés dans les machines precision-timed (PRET)
   • Modèles et langages de programmation spécialisés
3. Tolérance aux pannes basée sur le langage
   • Abstractions composables pour la programmation de tolérance aux pannes
   • Distinction des problèmes liés à la tolérance aux pannes
   • Suivi et exploitation de la causalité dans la tolérance aux pannes