中文|English>>
Tools
可 信 安 全 计 算 实 验 室 (D S C L)
工具

  • Crane: 针对不同覆盖模型的可靠性分析工具[1]

    • 传统的故障树分析(最小割集,可靠度)与二元决策图(BDD)算法的有效实现[2]

      • 一些基准故障树示例表明,与Fault Tree+,SHARPE,Open FTA和SATMCS等其他工具相比,Crane的效率更高[1]

    • 针对传统不完全故障覆盖模型的可靠性分析[3],采用高效的三元决策图(TDD)算法
    • 针对无关性覆盖模型的可靠性分析[4],采用通用的多值决策图算法[5]

参考文献

  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 ...