摘要：静态的通用多阶段任务系统的不完全覆盖、跨阶段依赖性极大地增加系统可靠性分析的复杂性和难度．基于SEA思想给出两级分离的组合方法将任务和阶段的不完全覆盖分割，通过新增的阶段代数规则和向后阶段依赖运算式处理跨阶段依赖性，并且充分利用高效的多阶段系统双值决策图，实现模型规模和运算的简化．最后，通过案例分析，将此分离BDD方法与三值决策图和多状态双值决策图对比，验证其精确、高效和模块化的优点．

关键词：可靠性 

单位：电子科技大学经济与管理学院 成都610054 中国工程物理研究院激光聚变研究中心 绵阳621900