Sûreté de fonctionnement informatique

Objectifs

Acquisition des notions de base, des hypothèses et des techniques permettant de concevoir et de réaliser et d’évaluer des systèmes informatiques sûrs de fonctionnement, en général, et tolérant les fautes en particulier. Illustration par des exemples de systèmes et des résultats d’évaluation expérimentale.

Description

Le cours comporte cinq parties:

– Généralités, définitions et notions de base (attributs, entraves), moyens de la sûreté de fonctionnement (prévention, tolérance, élimination, prévision) et mesures

– Techniques de tolérance aux fautes (hypothèses de fautes, techniques de base, stratégies de réplication) et solutions architecturales

– Techniques de validation, en particulier par injection de fautes (principes, analyse de robustesse, exemples d'outils et de résultats expérimentaux)

– Exemples de systèmes (systèmes à micro-noyau temps-réel, A320, B777, Elektra)

– Test du logiciel et notions de vérification/validation

Compétences visées

Connaissance du processus de développement d'un système critique

Maitrise des hypothèses et des techniques de tolérance aux fautes

Techniques de caractérisation par injection de fautes et analyse

Bibliographie

Polycopiés ENSEEIHT, support de cours (in English) de M. Fabre;

« Basic Concepts and Taxonomy of Dependable and Secure Computing »
Algirdas Avizienis, Jean-Claude Laprie, Brian Randell, and Carl Landwehr,

IEEE Transactions on Dependable ad Secure Computing, Vol. 1, No. 1, Jan. 2004.

« Guide de la sûreté de fonctionnement », JC. Laprie et al., Cepaduès Editions. (1995) ;

« Composants logiciels et sûreté de fonctionnement : Intégration de COTS », J. Arlat et al., Hermes Science Publications (2000).

Pré-requis nécessaires

Algorithmique, principes des systèmes d'exploitation, notion de systèmes temps-réel, programmation C/C++, architecture des calculateurs