| 基于马尔可夫模型的可信性评估研究 |
| |
| 引用本文： | 杨仕平,熊光泽,桑楠,吴新勇.基于马尔可夫模型的可信性评估研究[J].计算机工程与应用,2003,39(12):40-44,105. |
| |
| 作者姓名： | 杨仕平 熊光泽 桑楠 吴新勇 |
| |
| 作者单位： | 电子科技大学计算机科学与工程学院,成都,610054 |
| |
| 基金项目： | 国家“十五”项目(高可信赖的嵌入式实时操作系统)，部委预研基金项目 |
| |
| 摘 要： | 研究了安全关键实时系统传统的高可信保障机制,提出了一种可支持多级关键度的新可信性保障机制。使用该机制则可根据各子系统的实际可信性需求采用相应的冗余数进行容错处理。为评估该可信性保障机制,改进了传统的多模型可信性评估方法。基于马尔可夫模型,文章建立了一种统一的可信性评估模型,使用该模型则可按不同关键度子系统的实际可信性需求进行独立的评估。同时,该文使用了大量的实例进行例证。
|
| 关 键 词： | 安全关键 可信性 马尔可夫模型 评估 多级关键度 |
| 文章编号： | 1002-8331-(2003)12-0040-05 |
Research on Dependability Evaluation Based on Markov Model |
| |
| Yang Shiping Xiong Guangze Sang Nan Wu,Xinyong.Research on Dependability Evaluation Based on Markov Model[J].Computer Engineering and Applications,2003,39(12):40-44,105. |
| |
| Authors: | Yang Shiping Xiong Guangze Sang Nan Wu Xinyong |
| |
| Abstract: | Traditional high dependability safeguard mechanisms of safety critical real time system are firstly researched in this paper,and new dependability safeguard mechanisms supporting multilevel criticality is proposed.Based this new mechanism,fault tolerant with different numbers of spare version corresponding to practical dependability requirement of subsystems is used.In order to evaluate this dependability mechanism,traditional dependability evaluation method based several model is improved,a uniform dependability evaluation model based Markov is created in this paper,individual evaluation corresponding to practical dependability requirement of subsystems with different criticality is done by this model.At the same time ,a large number of examples are used to illustrate feasibility of dependability evaluation model in this paper. |
| |
| Keywords: | Safety Critical Dependability Markov Model Evaluation Multilevel Criticality |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
