Résilience et réactivité

Afin d’assurer une bonne réactivité au système, il est important de le doter d’algorithmes efficaces (d’un point de vue étendue et délais) de détection et de reconfiguration en ligne, et de définir des approches spécifiques d’évaluation de ces algorithmes et de leur impact sur la résilience globale du système.

Architecture

Détection au plus tôt d’erreurs dans les applications temps réel
Commandes de vol du futur
Robustesse des applications automobiles

Analyse

Test et vérification formelle de modèles comportementaux
Étalonnage de la sûreté de fonctionnement
Modélisation de la sûreté de fonctionnement de systèmes critiques