Course Syllabus 2013/2014
 
PDF Extract Anglais
Français
index
Module : IT324
Title :
Sûreté de fonctionnement
Number of hours :
Lecture : 9.00 h
Tutorial classes : 12.00 h
Individual work : 15.00 h
ECTS credits :
2.50
Level :
third year module
Abstract :
Le cours a pour objet de donner aux élèves une introduction aux enjeux et problèmes soulevés par la sûreté de fonctionnement des systèmes informatiques, ainsi qu'aux solutions actuelles.

Compte-tenu de l'ampleur du sujet, 6 séances de cours (6 x 1h) fournissent une vue d'ensemble, complétées par 4 séances de travaux dirigés (4 x 3h) permettant de focaliser sur des points représentatifs, tout en permettant aux élèves d'apprécier les difficultés.

Plan :
  1. Les 6 séances de cours abordent les points suivants :
    • concepts de base et terminologie associée : attributs, entraves et moyens de la sûreté de fonctionnement ;
    • entraves à la sûreté de fonctionnement : fautes, erreurs, défaillances ;
    • élimination des fautes : vérification statique (analyse statique, vérification de modèles, vérification dynamique (test) ;
    • prévision des fautes : fiabilité stabilisée et croissance de fiabilité, méthodes d'évaluation qualitative et quantitative (probabiliste) ;
    • tolérance aux fautes : détection, recouvrement et compensation d'erreur ; tolérance aux fautes matérielles et logicielles ;
    • sûreté de fonctionnement et développement de systèmes.
  2. Les 4 séances de travaux dirigés viennent illustrer les cours sur :
    • la qualité et la fiabilité du logiciel ;
    • l'évaluation de la sûreté de fonctionnement de systèmes informatiques ;
    • la tolérance aux fautes ;
    • la validation par injection de fautes.
Prerequisite :
Connaissances en architecture des ordinateurs, en génie logiciel et en probabilités.
Document(s) :
Copie des planches des cours, sujets et corrigés des travaux dirigés.