检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

软件容错模型中的容错实时调度算法

计算机研究与发展 2007年第9期44卷 1495-1500页

作者：刘东张春元李瑞黄影李毅国防科学技术大学计算机学院长沙410073

在软件容错模型的容错实时调度算法中,主部分可执行性的预测精度是影响调度算法性能的关键.针对此问题提出了DPA(deep-prediction based algorithm)和EDPA(EDF-based DPA)算法.算法考虑当前时间至替代部分通知时间之间的任务执行情况,... 详细信息

在软件容错模型的容错实时调度算法中,主部分可执行性的预测精度是影响调度算法性能的关键.针对此问题提出了DPA(deep-prediction based algorithm)和EDPA(EDF-based DPA)算法.算法考虑当前时间至替代部分通知时间之间的任务执行情况,通过构建预测表对待执行主部分的可执行性进行精确预测.当主部分不发生错误时算法根据预测表调度任务.DPA依照预测表中通知时间的先后顺序调度主部分,而EDPA则按照EDF算法调度预测表中的主部分.模拟结果表明,DPA和EDPA较目前同类算法可获得更多的主部分执行时间,降低CPU的消耗.当软件错误率较低、任务周期较短时,算法能够以较小的调度开销获得较高的调度性能.

关键词：软件容错实时系统容错实时调度预测表调度算法

硬实时系统中自适应反馈软件容错动态调度算法研究

在线全文

学校读者我要写书评

暂无评论

宇航学报 2010年第11期31卷 2591-2596页

作者：陈源龙马培军李东哈尔滨工业大学计算机科学与技术学院哈尔滨150001

在飞行控制等硬实时系统中由于任务超时完成将会给系统运行带来灾难性后果,而现有软件容错调度算法在处理机利用率较高时,成功执行主任务所占时间比率下降,针对此提出自适应反馈容错动态调度算法,此算法在经典软件容错调度算法BCE(Basic... 详细信息

在飞行控制等硬实时系统中由于任务超时完成将会给系统运行带来灾难性后果,而现有软件容错调度算法在处理机利用率较高时,成功执行主任务所占时间比率下降,针对此提出自适应反馈容错动态调度算法,此算法在经典软件容错调度算法BCE(Basic CAT EIT)的基础上,引入反馈调度机制,形成Feedback BCE调度算法。该算法在运行过程中定期监测处理机利用率,将实际处理机利用率与预期值进行比较,根据比较结果调整对任务集的调度。实验表明,相对于其他同类算法,自适应反馈软件容错调度算法有效降低了浪费的CPU时间片数量,提高了成功执行主任务所占时间比率,有效降低了因处理机超载而引起的主任务丢失率。

关键词：硬实时系统软件容错自适应反馈调度

在线全文

学校读者我要写书评

暂无评论

硬实时系统中基于软件容错的动态调度算法

软件学报 2005年第1期16卷 101-107页

作者：李庆华韩建军 Abbas A Essa 张薇华中科技大学计算机科学与技术学院湖北武汉430074 南京大学电子工程与科学系江苏南京210093

在硬实时系统中,由于任务超时完成将会导致灾难性后果,因而硬实时系统具有严格的时间及可靠性限制条件.目前实时容错调度算法大部分针对硬件的容错,很少考虑软件运行的故障.提出了两种类似EDF(earliest deadline first)的软件容错的动... 详细信息

在硬实时系统中,由于任务超时完成将会导致灾难性后果,因而硬实时系统具有严格的时间及可靠性限制条件.目前实时容错调度算法大部分针对硬件的容错,很少考虑软件运行的故障.提出了两种类似EDF(earliest deadline first)的软件容错的动态实时调度算法:PKSA(probing K-step algorithm)和CUBA(changing utilization-based algorithm).两种算法在任务执行过程中,通过若干试探性检测步骤,提高了任务可执行性的预测,尽可能地避免了任务早期的失败对后续任务的影响,因此提高了任务的完成率,同时也有效地减少了浪费的CPU时间片数量.通过实验测试,与目前所知的同类算法相比,具有更佳的调度性能——调度成本平衡性.

关键词：实时系统软件容错调度算法

在线全文

学校读者我要写书评

暂无评论

基于软件容错的动态实时调度算法

计算机研究与发展 2005年第2期42卷 315-321页

作者：韩建军李庆华 Abbas A.Essa 华中科技大学计算机科学与技术学院武汉430074 南京大学电子工程与科学系南京210093

在硬实时系统中 ,由于任务超时完成将会导致灾难性后果 ,因而硬实时系统具有严格的时间及可靠性限制条件目前实时容错调度算法大部分针对硬件的容错 ,很少考虑软件运行的故障提出了一种类似EDF基于软件容错的动态实时调度算法EBPA (e... 详细信息

在硬实时系统中 ,由于任务超时完成将会导致灾难性后果 ,因而硬实时系统具有严格的时间及可靠性限制条件目前实时容错调度算法大部分针对硬件的容错 ,很少考虑软件运行的故障提出了一种类似EDF基于软件容错的动态实时调度算法EBPA (expectation basedprobingalgorithm ) ,该算法在任务执行过程中通过基于期望值的若干试探性检测步骤 ,提高了任务可执行性的预测 ,尽可能避免了任务早期的错误对后续任务的影响 ,因此提高了任务的完成率并同时有效地减少了浪费的CPU时间片通过实验测试 ,同目前所知的同类算法相比。

关键词：实时系统软件容错动态调度算法

基于COTS处理器的微小卫星软件容错策略研究

在线全文

学校读者我要写书评

暂无评论

高技术通讯 2007年第6期17卷 551-556页

作者：高星廖明宏吴翔虎黄振远哈尔滨工业大学计算机科学与技术学院哈尔滨150001

为解决基于COrpS处理器的现代微小卫星系统的软件容错问题，提出了基于虚拟寄存器的软件加固技术（SHVR），它把运行在COTS处理器上的软件故障分为数据流错误和控制流错误，设计了一套虚拟寄存器分配方法来突破现有的只能采用高级语言... 详细信息

为解决基于COrpS处理器的现代微小卫星系统的软件容错问题，提出了基于虚拟寄存器的软件加固技术（SHVR），它把运行在COTS处理器上的软件故障分为数据流错误和控制流错误，设计了一套虚拟寄存器分配方法来突破现有的只能采用高级语言源程序作为输入的限制，提出了基于虚拟寄存器的数据流和控制流错误检测算法，并在实际应用背景下对这一方案进行了优化。模拟实验和实际应用表明，这套完全基于软件技术的方案在平均付出82．6％性能代价的前提下，对随机注入故障检测率达到91．4％。该方法现已成功应用于哈工大某重大航天课题中。

关键词：可靠性软件容错虚拟寄存器控制流检测数据流检测

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

软件容错技术初探

电子技术应用 1997年第9期23卷 11-12页

作者：曾献辉路林吉邵世煌上海中国纺织大学自动化研究所

对软件容错中的时间容错和信息容错作了介绍，并探讨了软件容错技术的两种典型结构模型：恢复模块法和Ｎ重版本程序结构。对以上两种方法的可靠性进行了分析。

关键词：软件容错 N版本程序可靠性

在线全文

学校读者我要写书评

暂无评论

软件容错:技术与展望

计算机工程与科学 2007年第8期29卷 88-93页

作者：孙鹏赵军锁张文君中国科学技术大学计算机科学与技术系安徽合肥230027 中科院软件所北京100080

本文主要给出现有主流软件容错技术的一个综述。首先从传统软件容错技术开始,介绍设计多样性和数据多样性;然后介绍主流的软件容错新技术,如重配置与重恢复、指令复制错误探测、SWIFT等,同时,站在软件容错用于处理嵌入式系统硬件暂态故... 详细信息

本文主要给出现有主流软件容错技术的一个综述。首先从传统软件容错技术开始,介绍设计多样性和数据多样性;然后介绍主流的软件容错新技术,如重配置与重恢复、指令复制错误探测、SWIFT等,同时,站在软件容错用于处理嵌入式系统硬件暂态故障的角度对这些技术进行了分析;最后在对它们比较的基础上探讨软件容错技术的可能发展方向。

关键词：软件容错可靠性嵌入式系统故障

在线全文

学校读者我要写书评

暂无评论

软件容错技术的研究现状与展望

计算机应用研究 1999年第9期16卷 1-3页

作者：张宇洪炳熔哈尔滨工业大学计算机科学与工程系 150001

随着计算机的发展，计算机软件变得越来越复杂。在用于一些关键任务的环境中，由于不完全或不充分的测试而导致的软件错误是无法容忍的。本文首先分析了三种典型的软件容错方法。然后提出了一种新的软件容错系统概念，并对国内外软件容... 详细信息

随着计算机的发展，计算机软件变得越来越复杂。在用于一些关键任务的环境中，由于不完全或不充分的测试而导致的软件错误是无法容忍的。本文首先分析了三种典型的软件容错方法。然后提出了一种新的软件容错系统概念，并对国内外软件容错的研究与应用进行了分析。

关键词：软件容错软件测试软件开发

在线全文

学校读者我要写书评

暂无评论

智能网SCP的两级并发模型与软件容错研究

通信学报 1998年第3期19卷 15-23页

作者：刘云龙杨放春陈俊亮北京邮电大学程控交换技术与通信网国家重点实验室

智能网作为一种能够快速灵活地定义与提供电信新业务的体系结构，近年来受到人们的普遍重视，其中，业务控制点ＳＣＰ作为整个系统的核心，它的可靠性与全网的服务质量息息相关。本文中，我们首先指出了目前的ＳＣＰ产品在容错性能上存... 详细信息

智能网作为一种能够快速灵活地定义与提供电信新业务的体系结构，近年来受到人们的普遍重视，其中，业务控制点ＳＣＰ作为整个系统的核心，它的可靠性与全网的服务质量息息相关。本文中，我们首先指出了目前的ＳＣＰ产品在容错性能上存在的不足，然后根据ＳＣＰ的结构和运行机制提出一种两级并发模型，并基于此模型对其软件容错的途径进行了深入的探讨与研究。本文首次提出了应用软件出错情况下保证所有在线呼叫可靠处理的容错目标，并在ＳＣＰ系统级与呼叫级两个并发层次上给出了切实可行的容错策略或算法，最后，我们还对ＳＣＰ软件有效度的估算进行了进一步讨论。

关键词：智能网业务控制点两级并发模型软件容错 ISDN