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

摘要：在空间环境下运行的计算机系统,高空辐射可能引发各种各样的异常或错误而导致故障。为了提高系统的可靠性,同时尽可能减少对系统实时性能的影响,需要对其进行有效的容错。针对节点和应用软件的故障检测和故障恢复进行研究与分析,提出了多种灵活有效的软件容错策略与设计方案,并基于四节点的多机硬件体系结构和RTEMS软件操作系统,设计并实现了一个系统原型。运行结果显示,该方案有效地提高了嵌入式实时系统的可靠性。

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

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

摘要：车桥总成信息系统是车桥生产企业可追溯管理实现的关键组成部分,对系统可用性要求高。为了实现该目标,在设计系统时充分考虑了故障的自诊断和软件容错的实现,介绍了在这个复杂工业网络中分部分使用的多种方法,文章最后给出了一些关键代码。实践证明这些方法是有效的,实现了系统的高可用性。

摘要：本文通过软件搏弈、软件冗余与数字滤波等软件容错技术,提供了低成本解决单片机系统电磁兼容性及可靠性设计的若干方法。

摘要：在硬实时操作系统中,任务超时运行将会给系统带来灾难性后果。为了提高系统的可靠性和容错能力,系统设计需要采取一定容错策略。系统的CPU使用率是实时系统运行正常与否的重要指标,其可以表征系统的时间特性和任务状态。针对CPU使用率的特点以及容错监测的要求,选取机器周期作为时间信息统计的基准;分析监测周期不同对监测效果的影响;提出了嵌入式实时系统CPU使用率异常的判决条件;并结合结构冗余和时间冗余的思想,设计了4种处置方法用于CPU使用率异常处置。仿真测试表明,基于CPU使用率监测的软件容错方法可以有效提高系统的可靠性和容错能力。

摘要：采用软件搏弈、软件冗余与数字滤波等软件容错技术 ,提供了低成本解决单片机系统电磁兼容性及可靠性设计的方法。

摘要：在空间计算机的设计和制造中,高性能和高可靠是一对矛盾.使用防辐照器件制造空间计算机能够提高可靠性,但是防辐照器件不仅价格昂贵,而且在性能上远远落后于同时代的COTS器件,不能满足日益增长的空间高性能应用的需求;而使用COTS器件制造的计算机能够达到很高的性能,而且具有较高的性价比,但是在容错能力比不上防辐照器件,不能满足空间计算机在可靠性方面的要求.在COTS器件上实现软件容错,是提高空间高可靠计算机性能的方法之一,现已成为国际上的趋势.美国国家宇航局喷气推进实验室和Stanford大学的可靠性计算实验室在这些方面都进行了卓有成效的研究.然而在COTS器件上实现软件容错也带来了许多挑战.软件容错带来的性能和功耗开销、软件本身的容错能力等都是必须面对的问题.在介绍了基于COTS器件的软件容错技术的背景和发展情况后,又针对其中的主要问题提出了可能的解决方法,其中基于错误流模型的容错编译技术具有较高的实用价值.

摘要：该文就软件容错中备查点与卷回机制展开深入讨论，提出一种基于数据流分析技术的软件容错新方法．首先对软件容错进行简介，指出数据错是一切控制系统软件失效的根源与最终表现以及对数据采取强有力的容错措施的必要性．然后将数据流分析技术应用于软件容错，通过求解程序变量的到达－定值数据流方程来静态地确定任何数据在任何引用点出错时的最小充分卷回，通过求解活跃变量的数据流方程来静态地确定程序在执行各个基本块时需动态保存的变量集合，得出最小充分卷回定理与备查点数据范围定理，从而解决了时间冗余容错途径中必须回答的两个基本问题．此外，还给出了恢复块定义有效的充分条件．最后，以电信系统为应用实例，介绍了该方法的一种具体实施．该方法在简单地扩展后可被广泛应用于各种容错软件的设计中．