面向空空导弹飞控软件的软件容错技术研究

随着临近空间飞行器的发展,空空导弹作战空域也向超高空域拓展,因此在空空导弹设计时需要考虑高能粒子引起的计算机系统瞬时故障。本文从软件防护的角度出发,针对该故障提出了一种基于冗余备份及校验和的软件数据流加固方法。试验表明,该算法对单粒子翻转引起的瞬态故障具有良好的防护性,具有通用性好、易移植等优点。     

面向瞬态故障的软件容错技术

宇宙射线辐射所导致的瞬态故障一直是航天计算面临的最主要挑战之一.而随着集成电路制造工艺的持续进步,现代处理器的性能在大幅度提高的同时,其可信性也正日益面临着瞬态故障的严重威胁.当前针对瞬态故障的容错技术可大致分为两类:基于硬件实现和基于软件实现.相比较前者,后者由于在实现成本和灵活性等方面的优势而备受关注.本文首先概述...     

分布式软件的可靠性及容错

本文从可靠性的角度出发,着重分析了分布式系统中各层次软件可靠性所处理的一些问题及其相应的解决方法,并指出了一些有待进一步研究的问题。     

软件容错技术初探

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

软件双冗余容错系统的容错能力和性能分析

双冗余是比较常用的冗余容错设计方法.软件双冗余容错系统通过冗余执行完成相同功能的两个软件副本,并检查它们的结果,根据两者结果是否一致来判断是否出现了错误.建立了软件双冗余容错系统的运行时模型,并引入了软件双冗余容错系统的容错能力的概念.根据该模型分析了单个软件副本的容错能力对软件双冗余容错系统的容错能力和性能的影响.分析结果显示,提高单个软件副本的容错能力不仅能够提高软件双冗余容错系统的容错能力,还能够提高系统的性能.但在极端情况下,双冗余容错系统的容错能力也可能会小于单个软件副本的容错能力.     

计算机系统容错技术研究

针对计算机系统中软、硬件可靠性问题的不同特点,讨论容错技术的最新发展现状,分析计算机系统中的各种容错方法,包括传统的冗余设计、错误回卷恢复机制以及当前研究较多的一般化容错设计方法等,研究目前已有的一些容错方法在反应延迟、容错成本、精确量化、异构同步、可靠性建模等方面存在的缺陷以及待解决关键问题,并对如何进一步更好地完善和使用这些容错方法进行总结。     

使用防卫式程序设计实现软件容错

软件避错是提高软件可靠性的主要方法之一,它包含程序检验,测试,正确性证明等技术,然而,随     

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

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

单片微机测控系统软件的容错设计

重点对单片微机测控系统软件容错的设计方法和技术进行讨论。主要方法有堆栈溢出及中断冲突的预防,软件算法及软件运行的容错,重要信息的保护恢复与纠错,重要模块的安全措施,严格控制状态转移条件,软件标志位的正确使用等。     

软件容错：技术与展望

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

容错软件生成系统─FTSGS

在软件开发过程中采用避错设计、查错设计和容错设计技术是提高软件可靠性的基本途径。这里介绍了一种采用多个软件模块自动生成技术进行可靠性设计的系统。其主要功能是定义软件开发过程,指导、控制以使软件开发自动化。其目标是提供一个基于面向对象方法学的、高可靠性的软件开发平台。     

管理系统中几种软件容错的实现方法

一个功能完善、性能优良的FOXBASE、DBASEⅢ管理系统应当允许用户操作上的失误，并提供纠错的机会。当用户操作失误后，不应强制系统退到原点状态下，再重新启动，而是应当给子用户必要的提示信息和相应的补救措施，以保证系统正常运行下去，这就叫软件容错处理技术。下面是几种在FOXBASE、DBASEⅢ下开发管理系统时，软件容错的实现方法，以供参考。1菜单中的软件容错处理在某单设计中，当键人的信息代码在条件分支规定的范围之外时，若不采取措施，将会产生以下两种情况：一是在IF和CASE语句中输入代码由于不符合所有的选择条…     

软件容错模型中反向与正向调度算法研究

为了保证实时系统在发生任务失效时仍旧能够正常地工作,通常采用软件容错模型来提高实时系统的容错能力。本文分析了软件容错模型中的BCE容错调度算法,针对该算法中的反向调度和正向调度两个过程,给出了RMB、DMB、FDMB、EDFB四种反向调度算法和RMF、EDFF两种正向调度算法,并指出了反向调度和正向调度相互协调的特性。将各种算法在BCE算法中进行模拟,结果表明,EDFF正向调度算法能够与四种反向调度算法更好地协调,从而获得比RMF正向调度算法更高的调度性能;模拟结果还表明,四种反向调 度算法在BCE算法中的性能相近。最后,本文得出了RMB（或DMB）反向调度算法与EDFF正向调度算法的组合较适用于软件容错模型的结论。     

软件容错问题的计算机处理

本文提出一种软件容错技术－－反客为主法。主要讨论了此方法的形式化描述和在程序设计中的应用。     

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

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