Esisar rubrique Formation 2022

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

  • Volumes horaires

    • CM 12.0
    • TD 6.0
    • TP 9.0

    Crédits ECTS

    Crédits ECTS 1.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
  • identifier les besoins en sécurité d'un système
  • renforcer la sécurité d'un système en mobilisant des primitives de sécurité adéquates
Contact Stéphanie CHOLLET, Ioannis PARISSIS, 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 attributes 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é.

III. Etude de cas industriel

  • Vulnérabilité des logiciels : sûreté de fonctionnement pragmatique des logiciels (IR)
  • Application à l'aéronautique (EIS)


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

Contrôle des connaissances

E1 : Examen final écrit portant sur les 3 parties du cours (80%), durée 3h
Poids des 3 parties du cours dans la moyenne finale :
Partie I --> 30%
Partie II --> 30%
Partie III --> 20%
TP : 1 note (20%), évaluation de la qualité du code, la sécurité et les tests
E2 : Examen de session 2 : Ecrit 1h30, document non autorisé



Informations complémentaires

Cursus ingénieur->Filière EIS (Apprenti)->Semestre 5

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.