可 信 安 全 计 算 实 验 室 (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 ...