用容错技术使SDI软件更可靠

目前正在继续探讨 SDI 全动战略防御软件是否能够在任何时候都不会出错.如果给定有效资源和时间的有限特性.一千万条代码完全不出错是不太可能的.但是,容错软件的应用可在合适的时间内使软件可靠性满足调度要求.SDI 软件的目标就是要在敌方的弹道导弹的助推阶段.进入空间的中途阶段或者进入大气层的最后阶段摧毁它。为此需要在美     

容错软件可靠性故障树分析方法

在关键的场合,要求使用容错软件技术(包括非相似设计技术和恢复块技术)实现高可靠计算机系统。对一个计算机系统的可靠性分析可以使用各种技术,而故障树方法是在工程上比较常用的一种技术。故障树技术应用于硬件系统是比较成熟的,而这里针对三余度非相似余度计算机,将故障树技术应用在这个系统上,并给出了最小割集,在每个底事件的可靠性评估之后,就可以评估出整个非相似余度计算机系统的可靠性。     

波音机型烤箱通用测试台软件可靠性设计特点介绍

软件可靠性设计是提高元件质量和可靠性的一项重要技术。本文根据对OGT-1型烤箱通用测试台软件的介绍，突出了可靠性设计技术，包括采用结构化的软件设计技术，应用可重用软件、应用容错技术、增强软件坚固性设计技术以及软件检错技术等。     

非相似容错技术研究

介绍了飞行控制系统非相似容错技术的基本功能、技术关键和设计方法,包括软件设计、硬件设计、容错计算、交叉通信、同步、余度管理、编程语言以及软件设计人员进行非相关设计的管理方法等。     

容错计算机故障注入系统

介绍了一种采用先进的ＥＤＡ工具和ＦＰＧＡ技术研制的基于总线技术的故障注入系统及应用此系统进行软件容错能力测试的原理和方法．     

容错计算机系统的结构

本文介绍一种将容错技术用于计算系统结构的设计方法。讨论基本的容错技术,并通过评述现有的和计划中的容错计算机系统以说明它们的应用。     

机载供电系统双余度控制器的容错控制

介绍双发（Twin-engines）系统的战斗机的机载供电系统控制器的设计和实现。机载供电系统控制器是管理飞机的供电系统的航空电子设备,是飞机供电系统的核心设备,肩负飞机安全的使命。为了提高控制器的可靠性和灵活性,放弃传统的模拟方法,使用先进的数字化技术实现对飞机供电、配电系统的管理。在设计中为了提高可靠性,使用主动复制的容错技术,设计了双余度控制器,在发生单通道错误的情况下,整个系统能够正确工作。对机载供电系统控制器容错技术进行了研究,包括双余度系统的管理策略、同步控制机制、余度管理和故障综合、信号比较监控和通道切换逻辑。     

可靠性设计的新发展——容错技术

本文详细地论述了容错技术的发展和特点,以及容错技术的有关技术问题。容错技术与容错系统代表了微机应用系统的发展方向,它是软、硬件相结合的可靠性设计,是系统工程中一次深刻的变革。     

容错技术在风洞试验中的应用研究

以亚音速风洞为监测对象,介绍容错技术在风洞试验中的应用原理和方法。同时对系统的结构特点、软件和硬件的配置、容错功能的实现等进行了分析和讨论     

一种双余度非相似容错计算机软件设计

非相似余度设计是容错技术的重要设计方法,在很多领域都有广泛应用,在航空领域主要应用于飞行控制系统.在非相似双机架构下分析现有且适宜的操作系统,并在此基础上构建适合机载飞控系统的底层运行框架和任务调度算法,在此框架下研究双机余度管理的关键技术.研究结果表明,所设计的软件框架与算法满足飞控系统要求.     

论维修管理程序的容错设计

一．概述 在民用航空领域的每一项工作都是至关重要的，有时一个非常小的差错就会造成明显的和毁灭性的后果。因而，各个工作单位和各工作环节的衔接和内部运作质量是非常重要的，如果一个部门或环节出现错误，应该不会对整个系统的运作构成明显的影响。系统的运作应该具有对错误的包容性，即容错能力。就像某些专家指出的那样，在计算机软件产品中有许多错误，这些错误在通常情况下并不会对系统安全造成危害。     

计算机软件容错技术

论述了软件容错的原理及其在当今系统中的重要性；通过Ａｄａ语言的块结构程序示例，讨论了其在防御系统中的应用以及对未来应用的设想。     

ATC模拟系统中存贮系统的容错技术

ATC 模拟系统是一个比较复杂的,实时性很强的控制系统,要求整个系统的可靠性很高。而对于一个系统来讲,其中央存贮系统是保证整个系统正常工作的关键部件之一。在我们引进的系统中,它的容错技术在设计上有其独到之处。本文就其存贮系统的结构、容错技术及支持电路这三部分予以说明和论述,仅供同行参考。     

容错飞行控制技术的应用研究现状与发展趋势

如何将容错飞行控制理论研究与工程应用紧密结合是值得关注的问题。从解决飞控系统自身故障的余度容错技术、解决飞控系统被控对象故障的容错控制技术和制约主动容错控制发展的故障诊断技术3个方面研究了容错飞行控制在工程应用中的发展现状。分析了容错飞行控制的核心技术和难点问题,对未来容错飞行控制技术的发展提出了思考与建议。     

容错软件的实现方法及发展概况

分析了容错软件的设计方法和有待于研究的一些问题,并对其应用情况进行分析,从而阐明了容错软件技术的发展状态,说明了容错软件的发展趋势。     

多处理器容错执行软件分析和设计

介绍了多处理器容错执行软件（ＭＴＥ）的设计及其结构特点；阐述了ＭＴＥ软件如何通过任务转移实现系统容错功能及对应用软件的简化，以提高应用软件的维护性和质量。     

空间站环境COTS器件容错技术综述

由于空间站环境的总辐照剂量影响较小,采用商用现货(COTS)器件替代传统高等级抗辐照器件来降低成本是有效的方法,但是随着工艺尺寸的缩小,COTS器件受单粒子效应的影响越来越突出。为抑制单粒子效应,COTS器件通常需要采用多种软硬件容错设计。基于上述应用需求,对国内外采用COTS器件的低轨卫星及其相关容错技术进行了总结和分析,分别对存储器、SRAM型FPGA、DSP、CPU处理器进行了容错技术的研究和分析,总结了各类容错技术的现状及发展趋势。并针对上述四类COTS器件,分别给出在空间站环境下的容错设计建议。     

多路激光跟踪干涉仪坐标测量系统的容错设计

介绍容错设计思想在由多路激光干涉仪构成的柔性坐标测量系统中的应用。由于采用了硬件冗余、软件冗余等技术，不但使该测量系统具有自我标定的能力，而且可恢复因测量过程中“丢光”现象而造成的干涉仪丢失的测量数据。并用三路单轴跟踪系统实现了二维坐标测量。     

容错技术在直升机可靠性设计中的应用与研究

现代直升机的飞行关键系统如电传操纵系统及给电传操纵系统供电的电源系统,为确保高可靠性高安全性要求（λ〈10-7／飞行小时）,通常都采用由多个（3个或4个）分系统组成的容错系统。首先论述了容错技术及容错系统的组成,然后对容错系统不同构型的可靠性进行了分析,并建立了容错系统的可靠性计算方法。之后,以相应的实例讨论了容错系统可靠性计算时必须考虑的问题。最后简述了相关的设计准则。     

动态故障树分析方法在软、硬件容错计算机系统中的应用

结合几个动态逻辑门及其向Markov状态转移链的转化,介绍了一种新的动态故障树建模分析方法,用来解决不可修系统中对动态时序特性的建模困难问题。并给出了一个具体的例子,应用这种方法对其进行分析。分析结果表明,软、硬件容错技术在计算机系统中的应用,可以显著提高系统的可靠性。