一款免费的故障树分析软件，可进行最小割集、概率重要度、结构重要度等计算。