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)

Les protocoles de Geoprivacy

Adaptabilité de logiciels tolérants aux fautes

Mécanismes de protection pour les systèmes adaptatifs autonomes

Virtualisation et diversification

Protection contre les attaques par entrées-sorties

Détection d'erreur en ligne

IHM pour les systèmes critiques réactifs

Architectures tolérantes aux fautes pour systèmes réactifs critiques

Analyse

(Elimination des fautes et Evaluation des fautes)

Evaluation de la Geoprivacy

Modélisation des interactions dans un contexte mobile

Test dans un contexte mobile

 

Analyse des risques de systèmes adaptatifs autonomes

Test de logiciel de systèmes autonomes

Test de logiciels orientés aspects

Évaluation en ligne de la résilience

Evaluation des mécanismes de protection de la sécurité

Analyse de vulnérabilité des systèmes embarqués

 

L'injection de fautes multi-niveaux pour les systèmes embarqués

Test et vérification formelle des modèles de comportement

Tests statistiques basés sur des méta-heuristiques de recherche

Modélisation d'artefacts de test