Sûreté de fonctionnement informatique

Description

Généralités, définitions et notions de base (attributs, entraves), moyens de la sûreté de fonctionnement (prévention, tolérance, élimination, prévision) et mesures

Techniques de tolérance aux fautes (hypothèses de fautes, techniques de base, stratégies de réplication) et solutions architecturales

Techniques de validation, en particulier par injection de fautes (principes, analyse de robustesse, exemples d'outils et de résultats expérimentaux)

Exemples de systèmes industriels (e.g . Airbus A320, Boeing B777), synthèse et conclusion

TER « Système critique » associé à ce cours

Pré-requis nécessaires

Connaissances de base en informatique (matériel, système opératoire, langage)

Notion de modélisation comportementale des systèmes informatiques

Session 1 ou session unique - Contrôle des connaissances

Session 2 - Contrôle des connaissances