自恢复容错系统的模型和分析

容错系统不仅会产生硬件故障，而且连续长时间的运行，系统的性能还会逐渐下降或失效，即老化现象。本文综合考虑容错系统中的硬件故障和老化现象，提出了将传统的冗余策略和软件抗衰策略相结合，并给出了该系统的时间颜色petri网（timed-cpn）模型，并结合实例进行了分析。