主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2018-2019年专刊出版计划 微信服务介绍 最新一期:2018年第12期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
王慧强,吕宏武,赵倩,董玺坤,冯光升.一种关键任务系统自律可信性模型与量化分析.软件学报,2010,21(2):344-358
一种关键任务系统自律可信性模型与量化分析
Model and Quantification of Autonomic Dependability of Mission-Critical Systems
投稿时间:2009-06-15  修订日期:2009-12-07
DOI:
中文关键词:  可信性  自律计算  PEPA(performance evaluation process algebra)  自容忍  自恢复  自毁
英文关键词:dependability  autonomic computing  PEPA (performance evaluation process algebra)  self-tolerance  self-healing  self-destruction
基金项目: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))
作者单位
王慧强 哈尔滨工程大学 计算机科学与技术学院,黑龙江 哈尔滨 150001 
吕宏武  
赵倩  
董玺坤  
冯光升  
摘要点击次数: 5715
全文下载次数: 4991
中文摘要:
      将现有入侵容忍、自毁技术与自律计算相结合,提出了一种基于SM-PEPA(semi-Markov performance evaluation process algebra)的关键任务系统自律可信性模型以支持形式化分析和推理.该模型具有一定程度的自管理能力,采用分级处理的方式应对各种程度的可信性威胁,满足了关键任务系统对可信性的特殊需求.在此基础上,从稳态概率角度提出了一种自律可信性度量方法.最后,结合具体实例对模型参数对自律可信性的影响进行了初步分析.实验结果表明,增大关键任务系统可信性威胁检测率和自恢复成功率,可在较大范围内提高系统的自律可信 特性.
英文摘要:
      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.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利