Volumes horaires
- CM 16.5
- Projet -
- TD 10.5
- Stage -
- TP 12.0
Crédits ECTS
Crédits ECTS 0.0
Objectif(s)
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.
Oum-El-Kheir AKTOUF
Contenu(s)
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
- Architecture des ordinateurs
- Bonne maîtrise de la programmation
- Notions de théorie des graphes et de probabilités
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
Le cours est programmé dans ces filières :
- Cursus ingénieur - Filière EIS - Semestre 9 (ce cours est donné uniquement en anglais )
- Cursus ingénieur - Filière EIS (Apprenti) - Semestre 9 (ce cours est donné uniquement en anglais )
- Cursus ingénieur - Master MISTRE - Semestre 9 (ce cours est donné uniquement en anglais )
Code de l'enseignement : 5AMSE508
Langue(s) d'enseignement :
Le cours est rattaché aux structures d'enseignement suivantes :
- Equipe Informatique
Vous pouvez retrouver ce cours dans la liste de tous les cours.
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.