Critical System Case Study

  • Voir la page en français

    In brief

  • Number of hours : 10h of practical classes
  • Teaching language : French (interaction with students in English possible)
  • Teaching method : En présence
  • Code : NEGC10E

Objectives

The objectives of this project / case study is to implement several fault tolerance techniques presented in the course "Dependable Computing". Fault injection experiments are carried out to validate the mechanisms implemented.

Description

A software service S acquires measurements using a set of sensors and computes a value on a sliding window of n numerical values.

An FMEA shows that this service S can lead to a catastrophic failure of the system in which it is used, in case of value error  or absence of output value. This service S must therefore guarantee dependability properties, in the presence of permanent faults and transient faults.  

The hardware architecture of the computer running this software a simulated bi-processor with stable storage on disk. Each processor also has its own local memory.  

Each group of students must implement this service, develop mechanisms first to tolerate cash faults  (duplex replication technique) and, secondly, accidental transient value faults (temporal redundancy technique). Tests by fault injection must be used to validate the various mechanisms.

Targeted skills

- Implementation of fault tolerance replication techniques and temporal redundancy.

- Characterisation by fault injection (Software-Implemented Fault Injection - SWIFI) to simulate both crash and value faults.

- Multithreaded and distributed implementation on a network of Linux machines.

Bibliography

Handouts and bibliography of the course "Dependable Computing.

Needed prerequisite

Algorithmics, C/C++ programming, real-time operating systems, dependable computing

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