拉迪班

Radyban:通过转换为动态贝叶斯网络的动态故障树可靠性分析工具。本文介绍了一种软件工具Radyban(dynamicbayesian Networks)的可靠性分析,它可以通过将动态故障树转换为动态贝叶斯网络来分析动态故障树。该工具实现了将动态故障树自动转换为相应的动态贝叶斯网络的模块化算法,并利用经典算法对动态贝叶斯网络进行推理,以计算可靠性指标。在描述了该工具的基本特性之后,我们展示了它如何在一个真实的例子中运行,并将它产生的不可靠性结果与其他方法返回的结果进行了比较,以验证所得到结果的正确性和一致性