该软件提供静态和动态故障树建模、定性分析、定量分析、蒙特卡洛仿真等多种功能。支持多种逻辑门类型和事件类型，包括最小割集、最小割序集、顶事件、基本事件、底事件和未决事件等。同时还支持导出文本形式和图形文件形式的综合分析报告和故障树模型。该软件性能稳定高效，支持大型复杂故障树建模和分析，也支持共因失效模型的构建和分析。