在验证嵌入式实时系统可生存性的过程中,为了避免实验验证和数学模型假设中存在的错误,保证所建模型的准确性,对所建模型的每个组件进行了可生存性分析,从而减小了模型的复杂度,进一步提出了模型故障概率函数,并结合马尔科夫链模型的特点建立了验证嵌入式实时系统可生存性模型。该模型能够根据嵌入式实时系统故障概率密度分布函数,逐个修复或排除高发生率的故障,从而达到增强嵌入式实时系统可生存性的要求。