Sûreté de fonctionnement informatique

  • See this page in english

    En bref

  • Nombre d'heures : 10h de cours et 6h de TD (suivi d'un bureau d'études de 10h - cf. BE système critique)
  • Langue d'enseignement : Français (interaction with students in English possible)
  • Méthode d'enseignement : En présence
  • Code : NEGC10C

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).

Conditions d'admission

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

Contact(s)

FABRE JEAN-CHARLES

Lieu(x)

  • Toulouse

Contactez l’ENSEEIHT

L’École Nationale Supérieure d'Électrotechnique, d'Électronique, d'Informatique, d'Hydraulique et des Télécommunications

2, rue Charles Camichel - BP 7122
31071 Toulouse Cedex 7, France

+33 (0)5 34 32 20 00

Certifications

  • Logo MENESR
  • Logo UTFTMP
  • Logo INP
  • Logo INPT
  • Logo Mines télécoms
  • Logo CTI
  • Logo CDEFI
  • Logo midisup