Evaluation de la sûreté

Objectifs

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.  

Description

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

Compétences visées

Connaissance des techniques de modélisation et d’évaluation de la sûreté de fonctionnement de systèmes informatiques

Bibliographie

Support de cours M. Kaâniche et Mme Kanoun;

« Reliability and Availability Engineering: Modeling, Analysis, and Applications », Kishor Trivedi, Andrea Bobbio (2017)

 « Fiabilité des Systèmes », Gondran et Pagès (1980)
« Handbook of Software Reliability Engineering », Michael Lyu (1996)

Pré-requis nécessaires

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