Evaluation de la sûreté

Connaitre les principes et techniques d'évaluation de la sûreté de fonctionnement de systèmes informatiques. Dans la première partie, nous présentons les principales mesures de la sûreté de fonctionnement et les méthodes permettant d’évaluer et de comparer différentes architectures d’un système. La deuxième partie présente des techniques permettant de suivre l’évolution et d’analyser la qualité et de la fiabilité du logiciel.  

Le cours se compose des parties suivantes:

1) Introduction: Objectifs et place de l’évaluation dans le cycle de vie
2) Analyse qualitative (AMDEC: Analyse de modes de défaillances, de leurs effets et de leur criticité)
3) Mesures de sûreté de fonctionnement
4) Méthodes d'évaluation d’architectures de systèmes: Diagrammes de fiabilité, Arbres de Fautes, Chaînes de Markov
5) Évaluation d'architectures tolérantes aux fautes: Facteur de couverture
6) Analyse de la fiabilité du logiciel : Rôle dans le processus de développement
7) Caractérisation de la croissance de fiabilité et tests de tendance
8) Études de cas

Connaissance des concepts et des techniques de bases de la sûreté de fonctionnement des systèmes informatiques

Notions élémentaires en probabilités , statistiques