System Dependability Evaluation

  • Voir la page en français

    In brief

  • Number of hours : 10h lecture, 4h tutored classes
  • Teaching language : French (interaction with students in English possible)
  • Teaching method : En présence
  • Code : NEGC10D


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.


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


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)

Needed prerequisite

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


  • Toulouse


The National Institute of Electrical engineering, Electronics, Computer science,Fluid mechanics & Telecommunications and Networks

2, rue Charles Camichel - BP 7122
31071 Toulouse Cedex 7, France

+33 (0)5 34 32 20 00


  • Logo MENESR
  • Logo UTFTMP
  • Logo INP
  • Logo INPT
  • Logo Mines télécoms
  • Logo CTI
  • Logo CDEFI
  • Logo midisup