Esisar rubrique Formation 2022

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

  • Volumes horaires

    • CM 12.0
    • TD 6.0
    • TP 9.0

    Crédits ECTS

    Crédits ECTS 2.5

Objectif(s)

Etre capable de
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

Responsable(s)

Stéphanie CHOLLET, Ioannis PARISSIS, Oum-El-Kheir AKTOUF

Contenu(s)

PI. 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 de session 1 : Écrit de 3h00, portant sur les 3 parties du cours (80%), (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 : Écrit 1h30, document non autorisé



Calendrier

Le cours est programmé dans ces filières :

  • Cursus ingénieur - Master MISTRE - Semestre 5
  • Cursus ingénieur - Filière EIS - Semestre 5
cf. l'emploi du temps 2017/2018

Informations complémentaires

Cursus ingénieur->Master MISTRE->Semestre 5
Cursus ingénieur->Filière EIS->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.