System Dependability Evaluation

Objectives

Knowledge of the principles and techniques for evaluating the dependability of computer systems. In the first part, we present the main dependability measures and methods for evaluating and comparing different system architectures. The second part presents techniques to follow the evolution and analyze the quality and reliability of software systems.

Description

The lecture is divided into the following sections:
1) Introduction: Objectives and place of evaluation in the life cycle
2) Qualitative analysis (FMECA: Failure Modes Effects and Critical Analysis)
3) Dependability measures
4) Evaluation methods of system architectures: Reliability Diagrams, Fault Trees, Markov Chains
5) Evaluation of fault-tolerant architectures: Coverage factor
6) Software reliability analysis: Role in the development process
7) Characterization of reliability growth and trend tests
8) Case studies

Targeted skills

Knowledge of modeling techniques and evaluation of the dependability of computer systems

Bibliography

Handouts provided by Mr. Kaâniche and Ms. Kanoun;
"Reliability and Availability Engineering: Modeling, Analysis and Applications", Kishor Trivedi, Andrea Bobbio (2017)

"Reliability of Systems", Gondran and Pagès (1980)
"Software Reliability Engineering Manual", Michael Lyu (1996)

Pre-requisites

Basic concepts and techniques of dependable computing
Basic concepts in probabilities and statistics