• Composante

    École Nationale Supérieure d'Électrotechnique d'Électronique d'Informatique d'Hydraulique et des Télécommunications

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

Lire plus

Pré-requis obligatoires

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

Notion de modélisation comportementale des systèmes informatiques

Lire plus

Informations complémentaires