- 5AMSE507

A+Augmenter la taille du texteA-Réduire la taille du texteImprimer le documentEnvoyer cette page par mail

Number of hours
- Lectures : 12.0
- Tutorials : 6.0
- Laboratory works : 9.0
ECTS : 1.5

Goals

Students should be able to :
- determine safety properties of computing systems;
- implement appropriate fault tolerance approaches depending on the nature of studied systems;
- evaluate dependability attributes using analytical approaches;
- Improve system robustness by using fault detection and elimination techniques;

Contact Stéphanie CHOLLET, Ioannis PARISSIS, Oum-El-Kheir AKTOUF

Content

I. Dependability:

Functional and structural redundancy.
Structural redundancy techniques (hardware, temporal, information and software)
Dependability evaluation techniques: combinatorial and Markov models.
The FMEA analysis.

II. Software Testing:

Goals and limitations of testing
Testing techniques based on the program structures or on specifications
Regression testing, conformance testing

III. Industrial case study

Software vulnerability: pragmatic dependability of software (IR)
Application to aeronautics (EIS)

Prerequisites

Computer architecture
Programming skills
Graph theory basics

Tests

E1: first session exam mark
S: homework (report and talk)
E2: second session exam mark

Additional Information

Course list

Curriculum->EIS (Apprenticeship)->Semester 5

Team->

Bibliography

1. « Fault-tolerant Computing Theory and Techniques », D. K. Pradhan, Vol. I, II, Prentice Hall, 1986.
2. « Fault-tolerant Computer System Design », D. K. Pradhan, Prentice Hall, 1996.
3. « Reliable Computer Systems. Design and Evaluation », D. P. Siewiorek, R. S. Swarz, Digital Press, 1992.
4. « Guide de la Sûreté de Fonctionnement », J.-C. Laprie et al., Cépaduès-Éditions, 1995.

A+Augmenter la taille du texteA-Réduire la taille du texteImprimer le documentEnvoyer cette page par mail

Date of update January 13, 2017