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
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
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é
Le cours est programmé dans ces filières :
- Cursus ingénieur - Master MISTRE - Semestre 5
- Cursus ingénieur - Filière EIS - Semestre 5
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.