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

被引:3
作者
杨仕平
熊光泽
桑楠
吴新勇
不详
机构
[1] 电子科技大学计算机科学与工程学院
[2] 电子科技大学计算机科学与工程学院 成都
[3] 成都
[4] 成都
关键词
安全关键; 可信性; 马尔可夫模型; 评估; 多级关键度;
D O I
暂无
中图分类号
TP309 [安全保密];
学科分类号
081201 ; 0839 ; 1402 ;
摘要
研究了安全关键实时系统传统的高可信保障机制,提出了一种可支持多级关键度的新可信性保障机制。使用该机制则可根据各子系统的实际可信性需求采用相应的冗余数进行容错处理。为评估该可信性保障机制,改进了传统的多模型可信性评估方法。基于马尔可夫模型,文章建立了一种统一的可信性评估模型,使用该模型则可按不同关键度子系统的实际可信性需求进行独立的评估。同时,该文使用了大量的实例进行例证。
引用
收藏
页码:40 / 44+105 +105
页数:6
相关论文
共 4 条
[1]  
Failuremodeassumptionsandassumptioncoverage. DPowell. . 1992
[2]  
GUARDS:AGenericUpgradableArchitectureforReal-TimeDependableSystems犤J犦. DPowell,JArlat,LBeus-Dukicetal. IEEETransactionsonParallelandDistributedSystem . 1999
[3]  
Dependabilityofcomputersystems:Fundamentalconcepts,terminology,andexamples犤R犦. AAvizienis,J-CLaprie,BRandell. . 2000
[4]  
Dependability-ItsAttributes,ImpairmentsandMeans犤M犦. JCLaprie. . 1995