基于马尔可夫模型的可信性评估研究  

Research on Dependability Evaluation Based on Markov Model

作　　者：杨仕平[1] 熊光泽[1] 桑楠[1] 吴新勇[1] 

机构地区：[1]电子科技大学计算机科学与工程学院,成都610054

出　　处：《计算机工程与应用》2003年第12期40-44,105,共6页Computer Engineering and Applications

基　　金：国家"十五"项目(高可信赖的嵌入式实时操作系统);部委预研基金项目

摘　　要：研究了安全关键实时系统传统的高可信保障机制,提出了一种可支持多级关键度的新可信性保障机制。使用该机制则可根据各子系统的实际可信性需求采用相应的冗余数进行容错处理。为评估该可信性保障机制,改进了传统的多模型可信性评估方法。基于马尔可夫模型,文章建立了一种统一的可信性评估模型,使用该模型则可按不同关键度子系统的实际可信性需求进行独立的评估。同时,该文使用了大量的实例进行例证。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.

关 键 词：安全关键 可信性 马尔可夫模型 评估 多级关键度 

分 类 号：TP302.8[自动化与计算机技术—计算机系统结构]