presentation-laas-tsf - Équipe Tolérance aux fautes et Sûreté de Fonctionnement informatique

Les travaux de l'équipe portent sur la sûreté de fonctionnement des systèmes informatiques, définie comme l’aptitude d’un système à délivrer un service de confiance justifiée. La sûreté de fonctionnement englobe les propriétés de disponibilité, fiabilité, intégrité, confidentialité, maintenabilité, sécurité par rapport aux conséquences catastrophiques (sécurité-innocuité ou safety), ainsi que de sécurité vis-à-vis des actions autorisées (sécurité-immunité ou security).

Nos travaux ciblent les systèmes informatiques constitués d'un grand nombre de systèmes interconnectés incluant des constituants très hétérogènes allant des super-calculateurs et fermes de serveurs, à une myriade de dispositifs mobiles et de minuscules systèmes enfouis (embedded systems), dans lesquels les logiciels et les services jouent un rôle déterminant. Un phénomène important à prendre en compte concerne les changements continuels que subiront de tels systèmes. Ces changements peuvent être de nature fonctionnelle, environnementale ou technologique, entraînant de nouvelles menaces et de nouvelles classes de fautes.

Assurer la persistance de la sûreté de fonctionnement en présence de telles évolutions conduit au concept de résilience.

Le tableau ci-dessous présente une vue d’ensemble des sujets de recherche de l'équipe TSF, structurée selon les quatre défis qui sont la mobilité, l’évolutivité et autonomie, l’ouverture et la réactivité.

 

Défis

 

Mobilité

Évolutivité et autonomie

Ouverture

Réactivité

Architecture

(Prévention 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

(Élimination et prévision 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

 

L'équipe aborde ces défis selon deux points de vue complémentaires et étroitement liés :

           Architecture : définition d’approches de conception, politiques, algorithmes et mécanismes, pour la prévention et la tolérance aux fautes. 

           Analyse : vérification pour l’élimination des fautes et évaluation pour la prévision des fautes.

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.

Une caractéristique forte concerne l’étendue des fautes prises en compte : les fautes physiques du matériel, les fautes du logiciel et les fautes d’interaction malveillantes, c’est-à-dire les intrusions. De plus, l'équipe s’appuie depuis de nombreuses années sur le développement conjoint de méthodes analytiques et expérimentales.