一种关键任务系统自律可信性模型与量化分析.pdf

文档介绍：ISSN 1000-9825, CODEN RUXUEW E-mail: ******@iscas.
Journal of Software, , , February 2010, −358
doi: . Tel/Fax: [phone]
© by Institute of Software, the Chinese Academy of Sciences. All rights reserved.

∗
一种关键任务系统自律可信性模型与量化分析
王慧强, 吕宏武+, 赵倩, 董玺坤, 冯光升
(哈尔滨工程大学计算机科学与技术学院,黑龙江哈尔滨 150001)
Model and Quantification of Autonomic Dependability of Mission-Critical Systems
WANG Hui-Qiang, LÜ Hong-Wu+, ZHAO Qian, DONG Xi-Kun, FENG Guang-Sheng
(College puter Science and Technology, Harbin Engineering University, Harbin 150001, China)
+ Corresponding author: E-mail: ******@hrbeu.
Wang HQ, Lü HW, Zhao Q, Dong XK, Feng GS. Model and quantification of autonomic dependability of
mission-critical systems. Journal of Software, 2010,21(2):344−358. /1000-9825/
Abstract: In this paper, the existing intrusion tolerance and self-destruction technology are integrated into
puting 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 essful rate of self-healing will greatly
increase the autonomic dependability.
Key words: dependability; puting; PEPA (performance evaluation process algebra); self-tolerance;
self-healing; self-destruction
摘要: 将现有入侵容忍、自毁技术与自律计算相结合,提出了一种基于 SM-PEPA(semi-Markov performance
evaluation process algebra)的关键任务