Dependability of Computer Systems

  • Voir la page en français

    In brief

  • Number of hours : 10h lecture, 6h tutored classes (followed by 10h of practical classes - see. BE Critical System)
  • Teaching language : French (interaction with students in English possible)
  • Teaching method : En présence
  • Code : NEGC10C

Objectives

Introduction to the basic concepts, assumptions and techniques for the design, the implementation and the evaluation of dependable computing systems, in general, and fault tolerant systems in particular. Illustration using several examples of dependable systems and experimental evaluation results.

Description

The lecture is composed of five section:

– Introduction, definitions and basic notions (fault prevention, fault tolerance, fault removal, fault forecasting) and measures.

– Fault tolerance techniques (fault assumptions, basic techniques, replication strategies) and architectural solutions

– Validation techniques, in particular, by fault injection (principles, robustness analysis, examples of tools and experimental results)

– Examples of dependable systems (real-time micro-kernel based systems, A320, B777, ELEKTRA)

– Software testing and verification/validation

Targeted skills

Knowledge of the development process of safety critical systems

Mastering assumptions and fault tolerant computing techniques

Characterisation techniques by fault injection and analysis

Bibliography

ENSEEIHT lecture slides (in English) presented by M. Fabre;


"Basic Concepts and Taxonomy of Dependable and Secure Computing"
Algirdas Avizienis, Jean-Claude Laprie, Brian Randell, and Carl Landwehr,

IEEE Transactions on Dependable ad Secure Computing, Vol. 1, No. 1, Jan. 2004.

 

Needed prerequisite

Algorithmics, operating systems principle, real-time computing, C/C++ programming, computer architecture

Contact(s)

FABRE Jean-charles

Phone : 2354

Email : Jean-Charles.Fabre @ laas.fr

Places

  • Toulouse

Contact

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

Certifications

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