期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

基于马尔可夫模型的可信性评估研究 被引量：3

Research on Dependability Evaluation Based on Markov Model
下载PDF
导出
摘要 研究了安全关键实时系统传统的高可信保障机制,提出了一种可支持多级关键度的新可信性保障机制。使用该机制则可根据各子系统的实际可信性需求采用相应的冗余数进行容错处理。为评估该可信性保障机制,改进了传统的多模型可信性评估方法。基于马尔可夫模型,文章建立了一种统一的可信性评估模型,使用该模型则可按不同关键度子系统的实际可信性需求进行独立的评估。同时,该文使用了大量的实例进行例证。 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.
作者 杨仕平 熊光泽 桑楠 吴新勇
机构地区 电子科技大学计算机科学与工程学院
出处 《计算机工程与应用》 CSCD 北大核心 2003年第12期40-44,105,共6页 Computer Engineering and Applications
基金 国家"十五"项目(高可信赖的嵌入式实时操作系统) 部委预研基金项目
关键词 安全关键 可信性 马尔可夫模型 评估 多级关键度 Safety Critical,Dependability,Markov Model,Evaluation,Multilevel Criticality
分类号 TP302.8 [自动化与计算机技术—计算机系统结构]
  • 相关文献

参考文献10

  • 1杨仕平,熊光泽,桑楠.安全关键系统高可信保障技术的研究[J].计算机科学,2003,30(5):97-101. 被引量：10
  • 2J C Laprie.Dependability-Its Auributes,Impairments and Means[M].Springer-Verlag, 1995.
  • 3A Avizienis,J-C Laprle,B BandelLDependability of computer systems: Fundamental concepts,terminology,and examples[B],LAAS Beport No, UCLA Beport No,2000.
  • 4H zou,F Jahanian.Real-time primary-backup replication with temporal consistency guarantees[C].In:proceedings of the 18th international conference on distributed computing systems, 1998:48-56.
  • 5Kevin G Wika.Safety Kernel Enforcement of Software Safety Policies [D].Ph D thesis.University of Virginia, 1995.
  • 6Y Chen,V Galpin,S Hazelhurst et al.Modelling software development of a decentralized virtual service redirector for internet applications [C].In:The 7th IEEE Workshop on Future Trends of Distributed Computing Systems,Cape Town, 1999:235-241.
  • 7J C Laprie.Dependable computing and fault tolerance:concepts and terminology[C].In:Proc 15th IEEE Int Symposium On Fault-Tolerant Computing(FTCS-15), Ann Arbor, Michigan, 1985:2-11.
  • 8D Powell.Failure mode assumptions and assumption coverage.presented at Twenty-Second International Symposium on Fault-Tolerant Computing, FTCS-22,1992.
  • 9J H Lala,R E Harper.Architectural principles for safety-critical real-time application[J].Proceeding of the IEEE, 1994 ;82:25-40.
  • 10D Powell,J Adat,L Beus-Dukic et aLGUARDS:A Generic Upgradable Architecture for Real-Time Dependable Systems[J].IEEE Transactions on Parallel and Distributed System,1999;lO(6):580-599.

二级参考文献12

  • 1Laprie J C. Dependable computing and fault tolerance: concepts and terminology. In:Proc. 15^th IEEE Int. Symposium On Fault-Tolerant Computing ( FTCS-15 ). Ann Arbor, Michigan, June1985.2~11.
  • 2Mahmood A, McCluskey E J. Concurrent Error Detection Using Watchdog Processor-A survey. IEEE Tra~asaction on Computers,1988,37:160~174.
  • 3Barrett P A, et al. The Delta-4 extra performance Architecture(XPA). In:Proc. 20^th Intl. Fault Tolerant Computing Symposium(FTCS-20), Newcastle upon Type, June 1990.
  • 4Powell D. Failure mode assumptions and assumption coverage,presented at Twenty-Second International Symposium on Fault-Tolerant Computing, FTCS-22,, 1992.
  • 5Kopetz H, Grunsteidl G, TTP-a Time-Triggered Protocol for fault-tolerant real-time systems, presented at 23^nd Annual IEEE International Symp. on Fault-Tolerant Computing, FTCS-23.,1993.
  • 6Lala J H, Harper R E, Architectural principles for safety-critical real-time application.Proceeding of the IEEE, 1994,28:25 ~ 40.
  • 7Lee P A. Software Faults:The Remaining Problem in Fault Tolerant Systems?. In: M. Banatre and P.A. Lee, eds.Hardware and Software Architecture for Fault Tolerance: Experience and Perspectives, Springer-Verlag, 1994. 171~181.
  • 8Wika K G. Safety Kernel Enforcement of Software Safety Policies:[Ph. D.thesis]. University of Virginia, .May, 1995.
  • 9Laprie J C. Dependability-Its Attributes, Impairments and Means : Springer-Verlag, 1995.
  • 10Jones A. The challenge of building survivable information-intensive systems. IEEE Computer, 2000,33 ( 8 ) : 39~43.

共引文献9

同被引文献13

引证文献3

二级引证文献24

计算机工程与应用
2003年 第12期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部