Sujets de recherche - TSF

 

Le tableau suivant présente une vue d’ensemble des sujets de recherche de l'équipe TSF, structurée selon les quatre défis (mobilité, évolutivité et autonomie, ouverture et réactivité), et les points de vue architecture et analyse.

Nos sujets de recherche couvrent les moyens suivants permettant d’assurer la sûreté de fonctionnement et la résilience des systèmes :

•    Prévention de fautes : comment empêcher l’occurrence ou l’introduction de fautes,

•    Tolérance aux fautes : comment fournir le service attendu en dépit des fautes,

•    Elimination des fautes : comment réduire la présence (nombre et sévérité) des fautes,

•    Evaluation des fautes : comment estimer la présence, la création et les conséquences des fautes.

 

 

Défis

Mobilité

Evolutivité et autonomie

Ouverture

Réactivité

Architecture

(Prévention de fautes et tolérance aux fautes)

Algorithmes tolérants aux fautes pour des systèmes répartis dynamiques

Tolérance aux fautes adaptative

Moniteurs de sécurité pour des systèmes autonomes critiques

Architectures de sécurité                                    

Détection d’intrusions basée sur des modèles

Protection de données personnelles

Détection en ligne d’anomalies par apprentissage

Architectures systèmes temps réel critiques (multi-criticité, ordonnançabilité)

Analyse

(Elimination des fautes et Evaluation des fautes)

Abstractions et modèles de systèmes dynamiques connectés

Caractérisation expérimentale d’interactions sociales

Test de logiciel de systèmes autonomes

Analyses de vulnérabilité et évaluation de sécurité

Argumentaire de sécurité et quantification de la confiance