%0 Journal Article
%T Model and Quantification of Autonomic Dependability of Mission-Critical Systems<br>一种关键任务系统自律可信性模型与量化分析
%A 王慧强
%A 吕宏武
%A 赵倩
%A 董玺坤
%A 冯光升
%J 软件学报
%D 2010
%I 
%X 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.
%K dependability
%K autonomic computing
%K PEPA (performance evaluation process algebra)
%K self-tolerance
%K self-healing
%K self-destruction<br>可信性
%K 自律计算
%K PEPA(performance
%K evaluation
%K process
%K algebra)
%K 自容忍
%K 自恢复
%K 自毁
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=124CE893B093BA7B1F83867885BBAC6D&yid=140ECF96957D60B2&vid=659D3B06EBF534A7&iid=0B39A22176CE99FB&sid=A04F01817ECB9A48&eid=EF78DD85C21CB57F&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=30