Only one model to conduct all RAMST analyses
Model logistic capabilities such as spares and maintenance operators and get the availability rate by stochastic simulations.
Set all observers in your MBSA model and get automaticaly all fault trees related to theses observers.
Failure modes and effects analysis is automaticaly conducted from the dependency aspects of the MBSA model.
Add all Built-in tests to the MBSA model and let System-Analyst compute the cover and localisation rates.