论文部分内容阅读
随着计算机技术的快速发展，以计算机为基础的实时系统越来越被广泛的应用。由于实时系统要求及时响应外部发生的随机事件，并以足够快的速度完成对外部事件的处理，所以实时系统的可靠性至关重要。
本文详细阐述容错实时系统的基本概念，介绍系统可靠性的基本理论并分析影响系统可靠性的各种因素，研究马尔可夫建模的基础。在此基础上，以基于时间触发结构的汽车控制系统为例来研究潜在故障对系统可靠性的影响。用马尔可夫模型为嵌入潜在故障的容错实时系统建模，并确定相关参数，研究各参数对可靠性模型的影响。
本文认为以下参数是必须考虑的：
首先，单个元件的失效率对系统可靠性的影响；
其次，故障覆盖率和故障修复率对系统可靠性的影响，以及潜在故障比例和切换速率对系统可靠性的影响；
最后考虑在系统即将失效时带到安全状态的速率，这是保证不发生灾难性事件的最后措施。
因此，为容错实时系统建立高效、简单、实用的可靠性模型是需要解决的首要问题。
本文首先运用各常用参数为系统建立可靠性模型，计算系统的平均故障前时间，并分析各参数对系统可靠性的影响。
在此基础上，本文提出另一个参数：系统处理紧急事件所需时间。这是在系统即将失效时必须考虑的重要参数。
接着本文又在原有可靠性模型中增加一个冷备份，使得系统对故障覆盖率的要求降低，从而使系统更容易达到预定的可靠性标准，同时减小由备份耗尽导致系统失效的风险。