Esisar rubrique Formation 2022

Sûreté de fonctionnement et sécurité des systèmes informatiques - 5AMSE503

  • Volumes horaires

    • CM 12.0
    • Projet -
    • TD 6.0
    • Stage -
    • TP 9.0
    • DS -

    Crédits ECTS

    Crédits ECTS 2.5

Objectif(s)

Etre capable de

  • déterminer les propriétés de sûreté d'un système informatique
  • mettre en œuvre des approches de tolérance aux pannes adaptées à la nature des systèmes étudiés
  • évaluer les attributs de la sûreté de fonctionnement selon des approches analytiques
  • améliorer la robustesse des systèmes par des techniques de détection et d'élimination des fautes

Responsable(s)

Oum-El-Kheir AKTOUF

Contenu(s)

I. Sûreté de fonctionnement

  • La redondance fonctionnelle et la redondance structurelle
  • Les techniques de redondance structurelle
  • Les techniques d'évaluation des attributs de la sûreté de fonctionnement : approches combinatoires et modèles markoviens
  • L'analyse AMDEC

II. Test Logiciel

  • Présentation des objectifs et des limites du test logiciel
  • Présentation des principales méthodes et techniques de test unitaire fondées sur la structure du programme ou sur des spécifications.
  • Test de non-régression, test de conformité.

Prérequis

  • Architecture des calculateurs
  • Bonne maîtrise de la programmation
  • Notions de théorie des graphes

Contrôle des connaissances

Modalités normales :
E1 : Examen final de session 1 (écrit 1h30, sans document, avec calculatrice)
CC : DS
E2 : Examen de session 2 (écrit 1h30, sans document, avec calculatrice)

Calcul de la moyenne :
N1 = E1×0,8+ CC×0,2
N2 = E2

Modalités Covid :
CC : DS
E2 : oral par visio de 15 à 30 minutes

Calcul de la moyenne :
N1conf = DS
N2conf = E2

Calendrier

Le cours est programmé dans ces filières :

cf. l'emploi du temps 2022/2023

Informations complémentaires

Code de l'enseignement : 5AMSE503
Langue(s) d'enseignement : FR

Le cours est rattaché aux structures d'enseignement suivantes :

Vous pouvez retrouver ce cours dans la liste de tous les cours.

Bibliographie

1. « Fault-tolerant Computing Theory and Techniques », D. K. Pradhan, Vol. I, II, Prentice Hall, 1986.
2. « Fault-tolerant Computer System Design », D. K. Pradhan, Prentice Hall, 1996.
3. « Reliable Computer Systems. Design and Evaluation », D. P. Siewiorek, R. S. Swarz, Digital Press, 1992.
4. « Guide de la Sûreté de Fonctionnement », J.-C. Laprie et al., Cépaduès-Éditions, 1995.