点击量 ：

第一作者 ： 金永贤

发表时间 ： 2014-01-01

发表刊物 ： 微型机与应用

所属单位 ： 数理与信息工程学院

文献类型 ： 期刊

期号 ： 第2期

页面范围 ： 63-65，68

ISSN ： 2096-5133

关键字 ： 嵌入式实时系统；可生存性；故障概率；马尔科夫链

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

是否译文 ： 否