Aller au menu Aller au contenu
L'école d'ingénieur en systèmes avancés et réseaux

> Formation > Master Mistre

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

A+Augmenter la taille du texteA-Réduire la taille du texteImprimer le documentEnvoyer cette page par mail cet article Facebook Twitter Linked In
  • Volumes horaires

    • CM : 16.5
    • TD : 10.5
    • TP : 12.0
    • Projet : -
    • Stage : -
    Crédits ECTS : 0.0
  • Responsables : Oum-El-Kheir AKTOUF

Objectifs

A l'issue de ce cours, l'élève sera 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 ;
  • analyser les interconnexions possibles entre la sûreté et la sécurité d'un système.

Contenu

Contenu des cours

I. Introduction :

  • Terminologie et éléments de base

II. Tolérance aux fautes : les techniques de redondance

  • La redondance fonctionnelle et la redondance structurelle
  • Les techniques de redondance structurelle

III. Prévision des fautes : l’analyse et l’évaluation des attributs de la sûreté de fonctionnement

  • Approches combinatoires et modèles markoviens
  • L'analyse AMDEC

IV. Élimination des fautes : le 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écification
  • Test de non-régression, test de conformité

V. Introduction à la sécurité logicielle : vulnérabilités et protections

  • Les vulnérabilités logicielles (Buffer overflow, Stack-based overflow, Return oriented programming...)
  • Les protections contre les vulnérabilités logicielles (Safe C library, DEP, Canary, ASLR...)

VI. Synthèse : sûreté et sécurité

  • Conflits
  • Analyse et ingénierie conjointe
  • Normes en vigueur

Contenu des TD

  • Les techniques de redondance
  • L'évaluation des attributs de la sûreté de fonctionnement
  • Le test logiciel

Contenu des TP

  • Les diagrammes de fiabilité
  • Les arbres de fautes et les chaînes de Markov
  • Le test de conformité
  • Les outils de test

Prérequis

  • Architecture des ordinateurs
  • Bonne maîtrise de la programmation
  • Notions de théorie des graphes et de probabilités

Contrôles 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)

N1 = E1*0.6 + CC*0.2
N2 = E2

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

Calcul de la moyenne :
N1conf = CC
N2conf = E2

L'examen existe uniquement en anglais FR

Calendrier

Le cours est programmé dans ces filières :

  • Cursus ingénieur - Filière EIS - Semestre 9 (ce cours est donné uniquement en anglais EN)
  • Cursus ingénieur - Filière EIS (Apprenti) - Semestre 9 (ce cours est donné uniquement en anglais EN)
  • Cursus ingénieur - Master MISTRE - Semestre 9 (ce cours est donné uniquement en anglais EN)
cf. l'emploi du temps 2021/2022

Informations complémentaires

Code de l'enseignement : 5AMSE508
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 Computer System Design", D. K. Pradhan, Prentice Hall, 1996.
2. "Reliable Computer Systems. Design and Evaluation", D. P. Siewiorek, R. S. Swarz, Digital Press, 1992.
3. "Guide de la Sûreté de Fonctionnement", J.-C. Laprie et al., Cépaduès-Éditions, 1995.

A+Augmenter la taille du texteA-Réduire la taille du texteImprimer le documentEnvoyer cette page par mail cet article Facebook Twitter Linked In

mise à jour le 7 avril 2021

Université Grenoble Alpes