2.6 Reliability Software
Various reliability analysis software tools have been developed. For example, Galileo, originally developed at the University of Virginia, is a reliability analysis tool based on the DFT analysis methodology . This software tool implements the modular approach (described in Section 2.5 ), where diverse time‐to‐failure distributions (e.g. exponential, Weibull, lognormal) and fixed failure probabilities are supported in the BDD‐based solution to static sub‐FTs. Galileo supports reliability analysis of PMSs.
Another FT‐based reliability analysis software package is Isograph's FaultTree+ . This software includes three modules, respectively, supporting FT analysis, event tree analysis, and Markov analysis. FaultTree+ has recently been incorporated into Reliability Workbench, the Isograph's flagship suite of reliability software.
ReliaSoft BlockSim  is a comprehensive software developed for reliability, availability...