Dependable and Secure Computing Laboratory (DSCL)
: A tool for reliaiblity analysis with different coverage models 
Traditional fault tree analysis (minimla cut sets, unreliability) with efficient implementation of binary decision diagram (BDD) algorithm 
Some benchmark fault tree examples show that the performance of Crane is good compared with some other tools such as Fault tree+, SHARPE, Open FTA, and SATMCS 
Reliability analysis of systems subject to traditional imperfect fault coverage  with efficient ternery decision diagram (TDD) algorithm
Reliability analysis of systems subject to irrelevancy coverage  with a generalized multiple-valued decision diagram algorithm 
J. Xiang, L. Liu, M. Zhang, S. Zhou, L. Ye, C. Weng, D. Zhao, J. Tian, "
Crane: A tool for reliability analysis with different coverage modles
," Eighth Latin-American Symposium on Dependable Computing (LADC), Brazil, pp. 171–174, October 2018.
A. Rauzy, "
New algorithms for fault trees analysis
," Reliability Engineering & System Safety, vol. 40, no. 3, pp. 203–211, 1993.
S. V. Amari, A. F. Myers, A. Rauzy, and K. S. Trivedi, , K. B. Misra, Ed., "
Imperfect coverage models: Status and trends
," in Handbook of Performability Engineering. New York, NY, USA: Springer, 2008, ch. 22.
J. Xiang, F. Machida, K. Tadano, Y. Maeno, "
An Imperfect Fault Coverage Model with Coverage of Irrelevant Components
," IEEE Transactions on Reliability, vol. 64, no. 1, pp. 320–332, 2015.
J. Xiang, S. Zhou, L. Ye, "
A Generalized Multiple-Valued Decision Diagram for Reliability Analysis of Fault-Tolerant Systems
," Third International Conference on Trustworthy Systems and Their Applications, China, pp. 36–41, October 2016.
More comes soon ...