Définition
Modèle mathématique de l'interdépendance des pannes individuelles de composants dans un système (logiciel en particulier) pouvant conduire à la panne du système en général.
La structure arborescente est suffisamment intuitive pour en faire un outil standard de l'étude qualité dans les grands projets logiciels.
Voir programming in the large. Le terme anglais est fault tree.