Arbre-Analyste, et son moteur de calculs XFTA, sont conçus dans le but de traîter des arbres de très grandes tailles (constitués de milliers d'évènements de bases qui peuvent entraîner plus d'un million de coupes minimales). Pour cela, l'approximation des “évènements rares” et l'approximation “Min Cut Upper Bound” sont utilisés.
L'indisponibilité Q est calculée par l'intermédiaire de l'approximation “Min Cut Upper Bound” dont la relation est rappelée ci-après.
avec QMCSi indiponibilité de la coupe minimale i.
Le MTTF du système corresond au temps moyen avant la première panne. Il est calculé de la façon suivante:
Le MTBF du système correspond au temps moyen entre deux défaillances. Il est calculé de la façon suivante:
Le MTTR du système correspond à la durée moyenne d'indisponibilité entre deux fonctionnements. Il est calculée de la façon suivante: