重构双机系统的可靠性分析

采用Markov过程，分别建立了容错双机系统和重构双机系统的可靠性模型，并着重研究了重构双机系统的重组时间对系统可靠性的影响。研究结果表明：重构双机系统的可靠性优于容错双机系统；在一般情况下（δ＞1），可以忽略重组时间对双机系统可靠性的影响，从而可以简化重构系统的可靠性模型。     

空间双机容错计算机系统研究

为在资源有限的条件下，最大限度地实现长寿命空间飞行器计算机系统的容错，同时又能达到所要求的性能，提出了一个模块化的双机容错设计方案。采用热冗余比较方式，软硬件组合实现系统的容错管理，可保证在某个资源或包含该资源的模块发生故障时，不会导致整个系统的失效，并具备模块级重构能力，从而实现系统的资源共享。不同冗余系统可靠性分析和有关测试结果表明，所设计的双机容错系统性能满足有关要求。     

STD总线双机容错系统

本文论述 STD 总线双机容错系统的设计与实现,该系统为工矿企业提供高可靠性的处理机模块。本系统采用双机容错原理,模块内部包含两个CPU 协同工作,还可用同样的处理机模块作为热备份,当运行模块失效后系统能自动切换到备份模块运行,实现系统的不间断运行。文中最后讨论了系统的软硬件结构及主要实验结果。     

单板双机嵌入式486容错子系统的设计

针对空间辐射环境中比较容易发生的单粒子翻转事件 ,提出一种低成本的商用器件解决方案———单板双机嵌入式容错子系统。该子系统把两个相对独立的嵌入式 4 86单机通过现场可编程门阵列 (FPGA)耦合起来 ,双机通信和数据比对都通过FPGA来完成 ,同时通过数据比对发现和消除单粒子翻转 (SEU)所引起的错误。由于系统中应用了较多超大规模集成电路 ,系统非常紧凑 ,用单板就实现了一个容错子系统     

卫星控制系统的三机容错计算机系统

本文讨论了容错计算机的三种容错结构,即D/S(双机变单机)、TMR/J(三模冗余变单机)、以及TMR/D/S(三模冗余变双机再变单机)结构。给出了三种容错结构的可靠性数学模型,对影响可靠性的诸多因素进行了讨论、比较,确定采用TMR/S方案。文中对TMR/S的硬件设置及容错管理程序做了简要介绍。对从事容错设计的工程技术人员有一定参考价值。     

一种卫星上的容错数字控制计算机

卫星控制系统用的数字计算机是实时性能很强的控制机,又是信息量较大的数据处理机,同时要求可靠性极高。一般,星载计算机设计成一台双机热备份的容错计算机系统。文章介绍了星载计算机的元器件选择,主机构成及其性能,各种系统软件和应用软件的设计准则,以及整机测试方法等。着重介绍了星载计算机硬件和软件的容错设计。文章最后介绍了星载计算机的使用情况,星载计算机成功地完成了二次飞行试验任务,表明设计思想正确,满足总体技术要求,控制精度高。采用双机热备份系统确实保证了计算机的高可靠性要求。     

风云一号（B）的星载计算机系统

本文叙述了风云一号(B)星载计算机系统的构成及性能、主备双机冗余结构以及主备双机切换和备机内部A、B机自荐切换的实现过程,介绍了星载计算机的可靠性设计、冗余容错设计和星载计算机软件,也反应了星载计算机在卫星中的作用。     

一种低成本纳卫星星载计算机容错方法

为了提高纳卫星星载计算机系统的可靠性,减少体积、质量及功耗等多方面因素的影响,文章提出了一种软硬件结合的低成本容错设计方法。将星载计算机硬件采用双机冗余冷备份方案,通过现场可编程门阵列(FPGA)对故障处理器进行仲裁切换;软件容错通过错误检测与纠正(EDAC)信息容错技术的实现,对星载计算机整体程序进行纠错检错,以对抗单粒子翻转事件。结果表明:该方法能够对星载计算机系统进行有效的故障切换处理,并降低单粒子事件的不良影响,可以在纳卫星系统中推广应用。     

基于仲裁的高可用服务器故障检测机制的研究

故障检测是设计高可用系统的一项关键技术,本文研究了双模高可用容错服务器的故障检测机制.首先,通过马尔科夫模型对服务器系统进行了分析,指出设计高覆盖率和高成功率的故障检测机制对系统可用性的重要影响.针对传统使用的故障检测机制成功率较低的问题,提出了一种仲裁检测机制,仲裁系统采用容错方案设计,具有较高的可靠性,在双机无法对故障做出正确判断时,可作为可信的第三方对故障做出准确的定位,有效地提高了系统的检测成功率.在此基础上,一种基于仲裁的多层心跳检测机制被应用到了实际系统的设计中,并通过试验证明了其可满足可用性设计要求.     

一种三模混合冗余总线控制系统设计研究

为了简化三余度容错总线控制系统设计,提高其容错效率,提出了一种自检、互检与表决机制相结合的软硬件协同混合冗余管理机制。该机制采取当班机主控、备机跟随当班机运行的工作方式,构成了间接的三取二表决机制,实现了三机表决、双机热备与单机运行3种工作模式自动切换,可以容忍任何配套设备任何余度模块任意组合的一度故障与典型二度故障,取消了一般三模冗余模块之间的交叉数据通信链路,简化了软硬件设计,提高了系统实时性。试验表明,在不同的故障发生时机条件下,经过0~2个控制周期可以完成系统重构。     

分布式容错计算机系统在航天器上的应用

计算机容错技术是提高系统可靠性的强有力手段，卫星星上数据管理系统是高可靠性的分布式容错计算机技术系统，在硬件和软件的设计中，应用了故障检测、故障屏蔽和动态冗余等多种容错技术，本文从理论和工程实践两个方面介绍了各种容错技术在航天器上的应用。     

分布式容错计算机系统在航天器上的应用

计算机容错技术是提高系统可靠性的强有力手段,卫星星上数据管理系统是高可靠性的分布式容错计算机系统,在硬件和软件的设计中,应用了故障检测、故障屏蔽和动态冗余等多种容错技术,本文从理论和工程实践两个方面介绍了各种容错技术在航天器上的应用。     

应用国产芯片的星载高可靠综合电子系统设计

星载综合电子系统是面向空间复杂不确定环境,通过高性能计算单元实现信息获取、资源调度及任务规划的信息系统。针对目前综合电子系统的高可靠性和国产自主可控性的不足,文章设计了一种应用国产高性能CPU和SRAM型FPGA的星载高可靠综合电子系统,具备多模冗余和故障自主检测恢复能力。同时,提出了具备防误触发设计的短时断电恢复方法以及具有容错模块的双机备用系统设计方法,解决了星载常加电单机的单粒子闩锁恢复问题,建立马尔可夫容错模型计算综合电子系统的可靠性指标,提高了可靠度计算的准确性。     

捷联惯导系统故障诊断与处理技术研究

为有效提高捷联惯导系统可靠性，研究了捷联惯导系统故障诊断与处理技术，提出捷联惯导的容错技术应具有故障检测，识别、隔离和系统重要等功能，并介绍了直接比例测量法和奇偶向量法两种技术方案，指出，在实践中综合应用多种容错技术可明显提高系统可靠性。     

容错箭载计算机的硬件故障注入方法研究

容错机制和设计方案的正确性验证是容错箭载计算机研制的重要环节,验证方法有理论计算、软件模拟和硬件模拟等3种。硬件故障注入法采用人为引入故障方法可加速系统的失效,并通过观察系统在出现故障之后的行为反应对容错计算机系统的容错能力进行评价,更适合工程应用。本文研究采用硬件故障注入方法和特定容错测试仪,对容错箭载计算机的容错机制和设计方案进行了正确性验证,为容错箭载计算机的工程应用奠定技术基础。     

层次分布式测控系统的可靠性和可维修性及其容错设计

本文针对层次分布式系统在总体设计时需要考虑的几个技术指标如可靠性、维修策略和容错对策等进行较详细的讨论。首先指出目前流行的系统可靠性估计方法的不合理性,并由此得出应以功能可靠性为指标进行设计,从而可找出系统的硬核部分。其次讨论了分布式系统的维修策略。最后结合典型实例,讨论了这种系统的容错设计中应考虑的问题。     

基于仲裁的高可用服务器故障检测机制的研究

故障检测是设计高可用系统的一项关键技术，本文研究了双模高可用容错服务器的故障检测机制。首先，通过马尔科夫模型对服务器系统进行了分析，指出设计高覆盖率和高成功率的故障检测机制对系统可用性的重要影响。针对传统使用的故障检测机制成功率较低的问题，提出了一种仲裁检测机制，仲裁系统采用容错方案设计，具有较高的可靠性，在双机无法对故障做出正确判断时，可作为可信的第三方对故障做出准确的定位，有效地提高了系统的检测成功率。在此基础上，一种基于仲裁的多层心跳检测机制被应用到了实际系统的设计中，并通过试验证明了其可满足可用性设计要求。     

MCS-51系列单片机主从式并行互连的实现方法

论文介绍了用两台MCS—51系列单片机进行主从式单向并行通信、主从双向并行通信和无主从双向并行通信,实现双机并口直接互连的方法,为每种通信工作方式下系统硬件资源的设计提供了新的途径。     

基于FPGA中CLB结构模型的内部进化及其容错

内部进化是研究在线可进化硬件的方法,可用于实现容错、自适应的航天器硬件系统.现场可编程门阵列(FPGA,Field Programmable Gate Array)是目前实现数字电路进化的主要可编程逻辑器件.本文分析了FPGA的结构特点,对其基本组成单元可配置逻辑块(CLB,Configurable Logic Block)的结构进行了简化,提出一种可编程逻辑器件模型,设计了一种基于该模型的内部进化方法,并实现了一个内部进化系统.采用故障注入的方法对内部进化的容错特性进行了研究,讨论了可进化硬件实现容错的条件.     

基于模型预测控制的近空间飞行器容错跟踪控制

针对近空间飞行器的执行器故障,在考虑控制输入约束情况下,本文提出了一种基于模型预测控制思想的容错控制策略.该方法主要是结合线性状态反馈控制与非线性模型预测控制的优点,构成容错控制律,然后通过自适应观测器的方法进行故障估计,并将得到的故障信息反馈到系统,能够保证闭环系统的稳定性,而且在系统发生执行器故障的情况下能够跟踪给定的指令.最后在Matlab中针对X-33模型进行仿真,验证该容错控制算法的有效性.