点击量 ：

第一作者 ： 金永贤

发表时间 ： 2008-01-01

发表刊物 ： 浙江师范大学学报(自然科学版)

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

文献类型 ： 期刊

期号 ： 第2期

页面范围 ： 178-182

ISSN ： 1001-5051

关键字 ： 嵌入式实时系统；可生存性；定量分析；可生存性规范

摘要 ： 系统可生存性分析是为了给出系统的评价与改进建议,以提高系统遇到故障或事故时的可生存能力.首先,分析了嵌入式实时系统的可生存性问题;然后,通过对嵌入式实时系统可生存性分析过程进行定义与划分,提出了一种针对嵌入式实时系统的可生存性分析框架,着重阐述了量化分析模型,这种量化分析有助于对系统的可生存性进行准确的评价和对比;最后,设计了模块化分析平台.

是否译文 ： 否