在容错导航系统中,当采用序贯的方法进行故障检测或者对系统的某些参数采用滤波以后,可以利用半马尔可夫过程理论分析系统的可靠性。本文应用具有时间尺度的半马尔可夫极限定理,对容错导航系统半马尔可夫可靠性分析过程进行了化简,减少了计算量,简化了计算过程。