一种关键任务系统自律可信性模型与量化分析 |
| |
引用本文: | 王慧强,吕宏武,赵倩,董玺坤,冯光升. 一种关键任务系统自律可信性模型与量化分析[J]. 软件学报, 2010, 21(2): 344-358 |
| |
作者姓名: | 王慧强 吕宏武 赵倩 董玺坤 冯光升 |
| |
作者单位: | 哈尔滨工程大学,计算机科学与技术学院,黑龙江,哈尔滨,150001 |
| |
基金项目: | Supported by the National Natural Science Foundation of China under Grant Nos.90718003, 60373000, 60973027 (国家自然科学基金); the National High-Tech Research and Development Plan of China under Grant No.2007AA01Z401 (国家高技术研究发展计划(863)) |
| |
摘 要: | 将现有入侵容忍、自毁技术与自律计算相结合,提出了一种基于SM-PEPA(semi-Markov performance evaluation process algebra)的关键任务系统自律可信性模型以支持形式化分析和推理.该模型具有一定程度的自管理能力,采用分级处理的方式应对各种程度的可信性威胁,满足了关键任务系统对可信性的特殊需求.在此基础上,从稳态概率角度提出了一种自律可信性度量方法.最后,结合具体实例对模型参数对自律可信性的影响进行了初步分析.实验结果表明,增大关键任务系统可信性威胁检测率和自恢复成功率,可在较大范围内提高系统的自律可信 特性.
|
关 键 词: | 可信性 自律计算 PEPA(performance evaluation process algebra) 自容忍 自恢复 自毁 |
收稿时间: | 2009-06-15 |
修稿时间: | 2009-12-07 |
Model and Quantification of Autonomic Dependability of Mission-Critical Systems |
| |
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. |
| |
Keywords: | dependability autonomic computing PEPA (performance evaluation process algebra) self-tolerance self-healing self-destruction |
本文献已被 CNKI 万方数据 等数据库收录! |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|