介绍了一种新的可修系统可用度分析方法———可修系统动态故障树建模分析方法 .为了获得高的可靠性和可用性 ,计算机控制系统大量采用了动态余度管理、储备及复杂的故障恢复技术 ,使计算机控制系统呈现出很强的动态性和实时性 .采用动态故障树与Markov过程综合方法 ,将计算机控制系统的动态时序用DFTA(DynamicFaultTreeAnalysis)描述 ,将系统可修过程用Markov过程描述 ,将系统分解成若干个小的模块 ,逐步计算各模块的可用度、等效故障概率和维修率 ,最后综合进行整个系统的可用度分析 .