全部 标题 作者
关键词 摘要

OALib Journal期刊
ISSN: 2333-9721
费用:99美元

查看量下载量

相关文章

更多...
软件学报  2010 

Model and Quantification of Autonomic Dependability of Mission-Critical Systems
一种关键任务系统自律可信性模型与量化分析

Keywords: dependability,autonomic computing,PEPA (performance evaluation process algebra),self-tolerance,self-healing,self-destruction
可信性
,自律计算,PEPA(performance,evaluation,process,algebra),自容忍,自恢复,自毁

Full-Text   Cite this paper   Add to My Lib

Abstract:

In this paper, the existing intrusion tolerance and self-destruction technology are integrated into autonomic computing in order to construct an autonomic dependability model based on SM-PEPA (semi-Markov performance evaluation process algebra) which is capable of formal analysis and verification. It can hierarchically anticipate Threats to dependability (TtD) at different levels in a self-management manner to satisfy the special requirements for dependability of mission-critical systems. Based on this model, a quantification approach is proposed on the view of steady-state probability to evaluate autonomic dependability. Finally, this paper analyzes the impacts of parameters of the model on autonomic dependability in a case study, and the experimental results demonstrate that improving the detection rate of TtD as well as the successful rate of self-healing will greatly increase the autonomic dependability.

Full-Text

Contact Us

service@oalib.com

QQ:3279437679

WhatsApp +8615387084133