导读:本文包含了软件容错论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:软件,堆栈,冗余,网络,故障,定义,拜占庭。
软件容错论文文献综述
王钊,李勇,崔维鑫,雒莎[1]（2019）在《一种星载嵌入式软件容错启动系统设计》一文中研究指出为提高空间复杂电离环境下星载嵌入式系统的可靠性,提出一种容错启动系统设计方法。该启动方法利用SPARC V8架构处理器(AT697)的异常处理陷阱机制,将EDAC和叁模冗余两种方法结合起来,确保星载嵌入式系统在空间复杂环境下实现容错启动和运行。该系统将BOOT(引导)区域和主程序区域备份叁份存储于EEPROM中。在启动阶段,利用AT697的EDAC功能对BOOT区域进行检查和纠错,当遇一位翻转时直接纠正;当遇到多位翻转时记录出错地址并进入特定陷阱,在陷阱通过叁取二仅对翻转位进行纠正,不必对整个代码进行叁取二对比,从而提高系统的启动速度和可靠性。该设计适用于信息存储系统,可为星载嵌入式容错启动设计提供参考。(本文来源于《电子设计工程》期刊2019年08期）
贾梦瑶,王兴伟,张爽,易波,黄敏[2]（2019）在《基于软件定义网络的卫星网络容错路由机制》一文中研究指出鉴于卫星网络对安全性和应对故障的能力有很高的要求,引入了软件定义网络(SDN)技术,在网络中放置中央控制器来增强网络对故障的应对能力。首先,基于SDN的思想设计了一种卫星网络模型,计算了叁层轨道上卫星运行的参数并构建星座;然后,采用分层路由的方法,设计了一种针对卫星网络的容错路由机制;最后,在Mininet平台上进行了仿真实验,将容错路由算法(FTR)的实验结果与基于链路感知的星间路由算法(LRSR)和多层卫星网络路由算法(MLSR)的实验结果进行了对比。对比结果表明,在网络中无损坏节点和链路的情况下,FTR的路由总延时比LRSR平均降低了6.06%,说明了引入SDN集中控制的有效性;FTR的丢包率比同样以最小延时为目标的MLSR降低了25.79%,说明了在网络模型中为中轨道(MEO)卫星设计临时存储路由机制的有效性。而当网络中节点和链路的失效情况比较严重时,FTR的路由总延时比LRSR降低了3.99%,比MLSR降低了19.19%;其丢包率比LRSR降低了16.94%,比MLSR降低了37.95%,说明了FTR的容错有效性。实验结果验证了基于SDN的卫星网络路由机制具有更好的容错能力。(本文来源于《计算机应用》期刊2019年06期）
刘然,黄奇,蒋金虎,常宁[3]（2018）在《一种软件输入容错处理正确性的检测方法》一文中研究指出介绍一种检测软件非法输入处理正确性的方法,采用类编译原理技术,分析源代码词法语法,获取源代码中的输入类控件信息。对输入类控件进行识别,找出未对非法情况进行处理的控件。该方法能检测软件是否对非法输入进行处理,帮助软件开发人员、测试人员发现软件漏洞,提高软件质量。(本文来源于《信息工程大学学报》期刊2018年06期）
张睿,周波,郝维宁,李露铭,乔梁[4]（2018）在《应用EDAC容错技术的星载软件堆栈溢出实时检测方法》一文中研究指出针对常见的星载软件堆栈溢出问题,提出了一种应用错误监测与纠正(EDAC)容错技术的堆栈溢出实时检测方法。以采用BM3803处理器的星载软件为例,通过处理器提供的内存造错和EDAC机制,对软件堆栈设置雷区和隔离区,通过陷阱程序感知堆栈生长过程,记录堆栈使用深度,并实时检测堆栈溢出。对核心模块的性能测试及堆栈检测实例验证表明:该方法实现简单,对软件性能几乎没有影响,使软件可以在线实时检测堆栈使用深度。软件在堆栈溢出时仍能自主可控,避免"跑飞"崩溃,大大提高其可靠性。(本文来源于《航天器工程》期刊2018年04期）
王余伟,曹东,施书成[5]（2018）在《实时操作系统CPU使用率监测的软件容错研究》一文中研究指出在硬件实时操作系统中,系统CPU的使用率是系统性能的一项重要指标,如果任务占据了系统的全部CPU,其它任务将无法继续运行,给系统带来灾难性后果。通过分析实时操作系统中软件运行的特点,系统设计需要采取一定容错策略,以提高系统可靠性和容错能力。在μC/OS-Ⅱ实时操作系统下对飞行控制软件中的任务进行实时监测。首先给出在μC/OS-Ⅱ实时操作系统下CPU使用率的计算方法,合理提出CPU的监测周期。其次,给出对CPU使用率异常的故障检测算法,对故障进行故障处置,提高系统的容错能力。最后,通过在MPC5674飞行控制计算机中编写嵌入式飞行控制软件来验证四种对CPU使用率异常的处置方法。仿真结果表明,实时操作系统中CPU的软件容错方法可以有效提高系统可靠性和容错能力。(本文来源于《计算机工程与科学》期刊2018年08期）
陈珏[6]（2018）在《软件定义网络的容错机制研究》一文中研究指出因特网本身的体系结构已经和网络技术的发展与创新形成了不可调和的矛盾。为了从根本上解决上述问题,各种新型网络被先后提出,其中软件定义网络凭借其控制平面与数据平面解耦、使用开放的可编程接口和逻辑集中的控制等特性脱颖而出,被视为一种颇具前景的网络体系结构,受到了学术界和工业界的广泛关注。无论是对于因特网还是软件定义网络,故障都是一块巨大的绊脚石。虽然故障发生的频率一般不高,但一旦发生就可能对网络性能造成不可估量的损失,对网络实时业务更是如此。因此,容错对于任何一种网络体系结构都不可或缺。由于软件定义网络的结构与因特网完全不同,因特网的故障恢复技术无法直接应用于软件定义网络中。在本文中,作者基于软件定义网络本身的特点,总结和分析了已有的相关研究工作,并对控制平面的架构设计、控制交换机(即与控制器建立带外物理连接的交换机)的选择问题、数据平面的容错技术和控制平面的容错技术四个关键问题进行了深入研究,提出并实现了一套在软件定义网络中完备的容错机制。本文的研究内容和贡献点主要包括以下叁点。1.针对现有的控制平面架构的不足,即为了保证较高的可靠性,会产生较高的控制报文通信时延、部署成本和实现难度的问题,本文提出了一种控制平面架构,仅设置了一组共计两台控制器,并根据叁个不同的指标决定了控制交换机的数量和位置,验证了该架构不仅具有高可靠性和高时效性,而且易于实现、节省部署成本。2.针对现有的数据平面上应对单条链路故障的容错方法的不足,即为了保证较少的故障恢复时间,采用了protection机制并基于流计算备份路径,从而需要占用较多的网络存储资源;同时对网络设备、协议或拓扑等有特殊的要求的问题,本文提出了一种采用protection机制、使用LOS检测故障并基于链路计算备份路径的方法,验证了该方法同时具有故障恢复时的高时效性、强可拓展性和广泛适用性。3.在前两个贡献点的基础上,本文进一步讨论控制平面上的容错方法和数据平面上应对单台交换机故障和适用于组播场景的容错方法,针对在上述领域中现有的容错方法的不足,即需要修改网络设备或协议,或者对部分拓扑不适用的问题,本文根据数据平面和控制平面、单播和组播、链路故障和交换机故障各自具有的特点,提出了相应的容错方法,验证了这些方法具有故障恢复时的高时效性和广泛适用性。(本文来源于《华东师范大学》期刊2018-05-01）
高洁,邬江兴,胡宇翔,李军飞[7]（2017）在《基于拜占庭容错的软件定义网络控制面的抗攻击性研究》一文中研究指出软件定义网络(SDN)的集中化控制面给网络管理带来了很大的便利,但也引入了很多安全隐患。针对控制器的单点故障、未知的漏洞和后门、静态配置等安全性问题,提出一种基于拜占庭协议的安全结构,控制器之间执行拜占庭协议,每个交换设备由一个控制器视图管理,多控制器裁决后给出控制信息。此外,将动态性、异构性引入到结构中,打破了攻击链,增强了网络的主动防御能力;通过对控制器异构性的量化,设计了两阶段控制器视图的选举算法,保证了网络的可用性和视图的安全性。仿真结果表明,与传统结构相比,所提结构的抗攻击能力更强。(本文来源于《计算机应用》期刊2017年08期）
杨号[8]（2017）在《一种双余度非相似容错计算机软件设计》一文中研究指出非相似余度设计是容错技术的重要设计方法,在很多领域都有广泛应用,在航空领域主要应用于飞行控制系统。在非相似双机架构下分析现有且适宜的操作系统,并在此基础上构建适合机载飞控系统的底层运行框架和任务调度算法,在此框架下研究双机余度管理的关键技术。研究结果表明,所设计的软件框架与算法满足飞控系统要求。(本文来源于《航空计算技术》期刊2017年02期）
刘利加[9]（2017）在《基于FlexRay的主从式容错飞控计算机软件设计》一文中研究指出飞控计算机是无人机飞行控制系统的核心,其可靠性是保障无人机安全的关键。通过硬件冗余配置和合理的容错管理策略设计来实现容错,可有效提高飞控计算机的可靠性。本文在样例双余度飞控计算机硬件平台上,研究主从式容错管理策略并设计控制软件。论文首先分析了样例双余度飞控计算机硬件冗余特点,提出系统控制软件设计需求,在此基础上制定主从式容错飞行控制软件研发策略,完成了系统软件总体设计。其次,针对系统总线结构特征,完成了FlexRay总线的通信层和应用层设计,实现了系统各功能单元的可靠通信。然后,从系统容错需求出发,采用心跳互检测方法,实现所有功能单元失效以及总线的故障诊断;设计任务状态自检测方法,实现了控制单元软件的故障诊断;采用数据更新率统计法和基于连续移动窗口平滑滤波的阈值分析法,实现了接口单元的故障诊断。在实现有效故障诊断的基础上,设计了故障处置以及故障恢复策略,实现了系统的容错功能。此外,采用模块化的设计思想,完成系统软件各功能模块的开发,综合实现了系统飞行控制与管理、FlexRay总线通信以及容错管理功能。最后,开发了故障注入软件,验证系统容错功能,并在半物理仿真环境下进行无人机飞行仿真试验,试验结果表明了主从式容错飞行控制软件的功能和性能指标都满足设计需求。(本文来源于《南京航空航天大学》期刊2017-03-01）
鲁磊[10]（2016）在《软件容错设计方法》一文中研究指出在高可靠、高安全的交通运输领域,需要利用容错设计来减少错误发生,以及错误发生后系统仍能正常工作。为此,结合软件开发中的实际情况介绍容错基本原理和常用方法。(本文来源于《铁道通信信号》期刊2016年05期）
软件容错论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
鉴于卫星网络对安全性和应对故障的能力有很高的要求,引入了软件定义网络(SDN)技术,在网络中放置中央控制器来增强网络对故障的应对能力。首先,基于SDN的思想设计了一种卫星网络模型,计算了叁层轨道上卫星运行的参数并构建星座;然后,采用分层路由的方法,设计了一种针对卫星网络的容错路由机制;最后,在Mininet平台上进行了仿真实验,将容错路由算法(FTR)的实验结果与基于链路感知的星间路由算法(LRSR)和多层卫星网络路由算法(MLSR)的实验结果进行了对比。对比结果表明,在网络中无损坏节点和链路的情况下,FTR的路由总延时比LRSR平均降低了6.06%,说明了引入SDN集中控制的有效性;FTR的丢包率比同样以最小延时为目标的MLSR降低了25.79%,说明了在网络模型中为中轨道(MEO)卫星设计临时存储路由机制的有效性。而当网络中节点和链路的失效情况比较严重时,FTR的路由总延时比LRSR降低了3.99%,比MLSR降低了19.19%;其丢包率比LRSR降低了16.94%,比MLSR降低了37.95%,说明了FTR的容错有效性。实验结果验证了基于SDN的卫星网络路由机制具有更好的容错能力。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
软件容错论文参考文献
[1].王钊,李勇,崔维鑫,雒莎.一种星载嵌入式软件容错启动系统设计[J].电子设计工程.2019
[2].贾梦瑶,王兴伟,张爽,易波,黄敏.基于软件定义网络的卫星网络容错路由机制[J].计算机应用.2019
[3].刘然,黄奇,蒋金虎,常宁.一种软件输入容错处理正确性的检测方法[J].信息工程大学学报.2018
[4].张睿,周波,郝维宁,李露铭,乔梁.应用EDAC容错技术的星载软件堆栈溢出实时检测方法[J].航天器工程.2018
[5].王余伟,曹东,施书成.实时操作系统CPU使用率监测的软件容错研究[J].计算机工程与科学.2018
[6].陈珏.软件定义网络的容错机制研究[D].华东师范大学.2018
[7].高洁,邬江兴,胡宇翔,李军飞.基于拜占庭容错的软件定义网络控制面的抗攻击性研究[J].计算机应用.2017
[8].杨号.一种双余度非相似容错计算机软件设计[J].航空计算技术.2017
[9].刘利加.基于FlexRay的主从式容错飞控计算机软件设计[D].南京航空航天大学.2017
[10].鲁磊.软件容错设计方法[J].铁道通信信号.2016
论文知识图
