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

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)

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

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é

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.