Relations mathématiques
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.
Performances du système
Indisponibilité Q
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.
MTTF
Le MTTF du système corresond au temps moyen avant la première panne. Il est calculé de la façon suivante:
MTBF
Le MTBF du système correspond au temps moyen entre deux défaillances. Il est calculé de la façon suivante:
MTTR
Le MTTR du système correspond à la durée moyenne d'indisponibilité entre deux fonctionnements. Il est calculée de la façon suivante: