随着现代科学技术的不断发展,大型复杂系统的研制日益增多,故障树模型是对关键系统进行可靠性建模分析时经常采用的处理方法.而对于工程上遇到的反馈系统必须通过非单调关联故障树来求解.随着系统的复杂度升高,故障树的规模也变大,对于非单调故障树的计算量问题是NP困难问题,实际工程应用上迫切需要求解非单调故障树.动态故障树通过包含一些动态系统行为扩展了故障树的解决范围,为嵌入式计算机系统和软硬件结合的故障容错系统提供了直观、灵活的建模方法,它在计算机、电子、航天系统有很大的应用价值,开发相应的DFT软件意义重大.动态故障树一般采用将其转化为Markov链的方式来实现,但目前自动化的转化方法尚无公开报道.针对以上问题,该文提出了基于模块的非单调关联及动态故障树分析方法,它是融合了多种技术的一种算法,既可以分析非单调关联故障树又可以解决动态故障树,还可以有效的解决故障树中出现的NP困难问题.算法首先充分利用了故障树中的模块的特点,通过将故障树模块化分解为静态子树和动态子树,不同的子树采用不同的处理方法,这样在分析开始就达到减小故障树规模的目的.静态子树通过转化为BDD图来解决.质蕴含在非单调关联及故障树求解中最重要也是最难求解的.对于质蕴含的求解,该文提出了基于BDD的早期不交化求解PIS的方法,它综合了早期不交化和最小化运算,这样既能找出全部的质蕴含,又可以减少很多对合和吸收运算,大大提高了求解效率.对于动态故障树的求解,该文在分析动态逻辑门故障机理的基础上,提出了基于时序规则约束和故障规则约束的组合分析+回溯搜索方法,并给出了完整的基于规则的动态故障树与Markov链自动转化算法.这种方法可以自动剪裁、枚举出马尔可夫链的全部状态空间,并对状态空间进行简化合并,自动生成Markov链,这就使DFT软件的实现成为可能.