Sureté de fonctionnement

Cours :

• Principaux concepts et terminologie : système, propagation des défaillances, exigences de sûreté de fonctionnement.

• Conception d'une architecture de système fiable : modèles de sécurité habituels 
• Modèles mathématiques et calculs pour l'évaluation de la sécurité des systèmes statiques à l'aide d'arbres de défaillance
• Modèles mathématiques et calculs pour l'évaluation de la sécurité des systèmes dynamiques à l'aide d'automates de mode AltaRica
• Vue d'ensemble du processus global de sécurité pour les aéronefs civils

Travaux pratiques :

• Évaluation de la sécurité d'un système aéronautique à l'aide d'arbres de défaillance
• Évaluation de la sécurité d'un système d'aéronef basée sur un modèle dynamique