一般情况下,故障容错控制系统为了获得高的可靠度和可用度,大量采用了硬件冗余和软件故障容错,包括动态、时序、储备及复杂的故障/错误恢复技术,使系统呈现出很强的动态性和实时性.如何确定动态容错控制系统的可用度是一个迫切需要解决的问题.对于计算高标准系统的可靠度,故障树分析(FTA)是一个很有效的工具,但是只能分析静态的系统.介绍了一种新的可修系统可用度综合分析方法.增加了几个动态时序门,这样就很容易用动态故障树(DFT)将容错控制系统的动态时序过程表达出来.用户可以通过友好的界面将元件的故障率和维修率输入,然后可以得到独立子树.将动态故障树转化成马尔科夫模型,就可以得到故障子树顶事件的故障率、维修率和可用度.通过自顶而下分析,复杂的故障容错控制系统可以用动态故障树分析(DFTA)来定量分析可用度.以某数字飞行控制系统为例,对整个系统进行综合可用度分析,验证了本综合算法的实用性.