主要功能包括静态故障树建模、动态故障树建模、定性分析、定量分析、蒙特卡洛仿真等。支持与门、或门、非门、异或门、顺序相关门等逻辑门类型，以及顶事件、基本事件、底事件、未决事件等事件类型。提供最小割集、最小割序集等定性分析方式，以及顶事件发生概率、中间时间发生概率、底事件结构重要度等定量分析方法。还支持蒙特卡洛仿真，输出文本形式的综合分析报告和故障树模型图形文件。支持大型故障树建模及分析，并支持复杂故障树建模及分析，同时还能构建和分析共因失效模型。