Bureau d'Etude Système critique

Objectifs

Les objectifs de ce projet / bureau d'étude sont de mettre un œuvre les techniques de tolérance aux fautes vues dans le cours "Sureté de fonctionnement informatique". Des expériences de caractérisation par injection de fautes sont menées pour valider les mécanismes mis en œuvre.

Description

Un service logiciel S effectue l'acquisition de mesures au moyen d'un ensemble de capteurs et calcule une fonction sur une fenêtre glissante de n valeurs numériques.

Une AMDEC montre que ce service S peut conduire à une défaillance catastrophique du système dans laquelle il est utilisé, en cas d'erreur en valeur ou d'absence de valeur en sortie. Ce service S doit donc garantir des propriétés de sûreté de fonctionnement, en présence de fautes permanentes et de fautes transitoires.

L'architecture matérielle du calculateur qui exécute ce logiciel est un bi-processeur à mémoire commune possédant une mémoire stable sur disque/fichiers. Chaque processeur possède aussi sa mémoire locale qui est indépendante.

Chaque groupe d'étudiant doit réaliser ce service en tolérant, dans un premier temps, les fautes par crash (technique de redondance duplex) et, dans un second temps, les fautes transitoires accidentelles en valeur (technique de redondance temporelle). Des tests par injection de fautes permettront de valider les différents mécanismes réalisés.

Compétences visées

- Implémentation de technique de tolérance aux fautes par réplication ou temporelles.

- Caractérisation par injection de faute (par logiciel - SWIFI) pour simuler l'arrêt ou des fautes transitoires en valeur

- Réalisation multithreaded et distribuée sur un réseau de machines Linux.

Bibliographie

Support de cours et bibliographie du cours "Sûreté de fonctionnement informatique".

Pré-requis nécessaires

Algorithmique, programmation C/C++, systèmes temps-réel, sûreté de fonctionnement