中文|English>>
Tools
Dependable and Secure Computing Laboratory (DSCL)
Tools

  • Crane: A tool for reliaiblity analysis with different coverage models [1]

    • Traditional fault tree analysis (minimla cut sets, unreliability) with efficient implementation of binary decision diagram (BDD) algorithm [2]

      • 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 [1]

    • Reliability analysis of systems subject to traditional imperfect fault coverage [3] with efficient ternery decision diagram (TDD) algorithm
    • Reliability analysis of systems subject to irrelevancy coverage [4] with a generalized multiple-valued decision diagram algorithm [5]



References

  1. 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.
  2. A. Rauzy, "New algorithms for fault trees analysis," Reliability Engineering & System Safety, vol. 40, no. 3, pp. 203–211, 1993.
  3. 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.
  4. 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.
  5. 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 ...