摘要：针对传统的可靠性分析方法分析CTCS-3级ATP系统动态失效问题的不足，提出采用动态故障树分析其可靠性。首先，分析系统的结构和功能建立动态故障树模型；其次，采用深度优先最左遍历算法搜索动态故障树模型，得到独立的子树；最后，在引入可修系统可靠性指标基础上，采用解析法和马尔科夫矩阵迭代法求解子树，结合分层迭代方法对动态故障树分析法改进，以减小运算量，使得上述可靠性指标能用于CTCS-3级ATP系统的可靠性评估。计算所得可靠性指标与可靠性框图分析得到的结果对比表明：动态故障树能够更好地描述系统的冗余性和容错性等特点，提高了可靠性指标的精度。

关键词：可靠性分析 动态故障树 马尔科夫矩阵迭代法 分层迭代方法 atp 

单位：兰州交通大学自动化与电气工程学院 甘肃兰州730070