基于检查点和Rejuvenation的软件可靠性建模分析

来源 :系统仿真学报 | 被引量 : 67次 | 上传用户：abcchencj

【摘要】

：

处于运行阶段的软件往往存在老化现象,即性能的逐渐下降或失效。为了避免软件老化造成的影响,人们提出了软件rejuvenation技术。这是一种预防性的软件容错策略,能有效的提高软件系统的可靠性和可用性。但由于rejuvenation操作过程的复杂性,它的成本也是不可忽略的。相对于rejuvenation来说,检查点是一种轻量级的软件容错策略,其成本远小于rejuvenation的成本。本文旨在结合r

【作者】

：

范新媛徐国治应忍冬

【机构】

：

上海交通大学电子工程系

【出处】

：

系统仿真学报

【发表日期】

：

2003年11期

【关键词】

：

软件可靠性软件老化软件REJUVENATION 检查点 software reliability software aging software rej

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

其他文献

高层建筑风振反应的T—S模糊控制

研究了高层建筑在顺风向脉动风荷载激励下T—S模糊控制问题。受控结构为拟建于澳大利亚Melbourne的一幢钢筋混凝土结构办公楼,高306米,总共76层,控制设备为安装于结构最顶层的主动调谐质量阻尼器,主动控制力由T-S型模糊控制器求得。选取LQG控制的仿真结果为T-S模糊控制器的学习样本,采用减法聚类法和混合学习算法对T-S模型进行结构与参数辨识,通过改变结构刚度来检验模糊控制器的鲁棒性。仿真结果

期刊

高层建筑T—S模糊控制模糊控制器风振反应钢筋混凝土结构tall building wind-excited vibration fuzzy con

复杂系统的认识与系统模型

在现有复杂社会系统的组元、结构、功能的系统概念基础上,增加系统运行、产品和进化等概念,为认识、理解复杂社会系统提供了准确而完整的系统概念架构;提升与完善系统认识方法(“物理-事理-文化”系统方法论)与企业建模理论,使其成为对复杂社会系统的认识方法与系统研究方法(系统模型方法论),为复杂系统的运行与进化的认识、描述和研究提供了科学而准确的方法和技术手段,使复杂系统的模型研究、系统仿真成为复杂系统研究

期刊

复杂系统运行进化系统方法论系统模型complex system operation evolution system methodology

归真返璞好

期刊

仓储式销售消费需求平价商店定位趋同平价商场空间集中纺织品乡村市场重操旧业大众消费

应用Duhamel定理确定固体界面上的瞬时热流密度

<正> 一、前言在许多工程实际问题中,常常需要确定固体界面上的瞬时热流密度。由于直接测量十分困难,一般通过测量物体内部某些点的局部温度来推算界面热流密度。这类问题称

期刊

传热热流瞬时密度Duhamel定理

机电系统全寿命模拟研究

重大机电产品可靠性研究具有广阔的工程背景和较高的经济效益,但其可靠性试验常造成资源浪费和环境污染,为使此类系统可靠性研究可持续发展,文章中介绍了以小子样系统为理论框架的数值模拟可采用的有效方法以及工程实例验证。

期刊

机电系统全寿命模拟灰色模型BP神经网络灰关联分析模糊贴近度engineering and electronic systems total lif

任务空间概念模型及其形式化抽象描述

任务空间概念模型对建模与仿真的互操作与重用有着重要的意义,但还没有一个统一的描述方法。文章研究了任务空间概念模型在仿真中的应用,探讨了它与作战想定、作战条令、条例之间的关系,然后对任务空间概念模型进行了形式化抽象描述,从而进一步给出了它的模型层次结构。

期刊

任务空间概念模型概念建模模型抽象conceptual model of mission space conceptual modeling model

艾滋病

期刊

艾滋病

战争系统多Agent民意模型的研究

从战争系统中一具体复杂模型——特定民意模型入手,研究战争系统复杂模型构建新方法——基于Agent的建模仿真技术。在研究过程中,我们提出了“政治倾向性(民意走势)”进化的观点,从研究民众个体微观行为着手,通过环境对微观个体的不断刺激、个体自身进化以及个体间的相互作用,使系统涌现出宏观行为,即民众政治倾向性走势。

期刊

战争系统Agent建模仿真特定民意模型政治倾向性进化war system agent modeling &simulation specia

具有伪控制补偿的自适应动态逆控制系统设计与仿真

论述了基于伪控制补偿解决自适应控制中作动器饱和问题的方法。基本控制律采用非线性动态逆方法设计,神经网络用于对逆误差进行重构。伪控制补偿消除作动器和自适应单元之间的交互影响。通过在超机动飞行控制的应用仿真表明,该控制方案弥补了动态逆要求精确数学模型的缺点,消除了作动器饱和对自适应单元的影响,提高了整个控制系统的鲁棒性。

期刊

神经网络自适应控制飞行控制动态逆neural network adaptive control flight control dynamic in

体系结构级功耗分析方法

功耗问题已经成为集成电路设计,尤其是嵌入式系统和电池供电设备开发中所要关注的重要问题。电路设计较低层次的功耗分析方法能提供比较好的准确性,但它们的功耗模型相对复杂,功耗分析的时间开销和内存开销都很大。本文所讨论的体系结构级功耗分析方法就克服了这些缺点,通过对可配置的功能单元分别进行功耗建模,基于准确的性能模拟来达到功耗模拟的目的,它可以广泛应用于体系结构、指令集、编译器以至软件的低功耗优化中,文章

期刊

低功耗设计体系结构级功耗分析功耗可配置体系结构低功耗优化low power design architectural-level power anal

基于检查点和Rejuvenation的软件可靠性建模分析

与本文相关的学术论文