四模冗余拜占庭容错计算机可靠性分析

为确保载人航天器的安全可靠,载人航天器控制计算机一般需具备拜占庭故障恢复的能力.采用马尔可夫链分析四模冗余拜占庭容错计算机几种可能容错方案的可靠性,可以看出系统采用何种容错方案取决于系统停机失效概率和不安全失效概率之间的关系.该方法可以为四模冗余拜占庭容错计算机设计提供参考.     

一种低成本高可靠的星载计算机存储器容错方法

星载计算机应用中,高可靠和低成本往往相互矛盾.传统计算机系统通过采用高等级器件的方式来提高系统可靠性,但代价是成本高昂.商业卫星采用降低元器件等级的方式来降低系统成本,但可靠性也随之降低.针对这一矛盾,提出了一种设计方法：利用低等级元器件,通过对程序存储器和数据存储器双冗余的方式来提高计算机存储器的可靠性、容错能力以及抗空间环境能力.采用本设计的计算机其存储器部分的可靠性与传统宇航计算机相当,成本与商业卫星计算机相当,实现了低成本与高可靠兼顾.     

基于拜占庭容错体系构架的航天器控制系统测试性设计与分析

摘要： 飞行控制系统作为航天飞行器的关键机载系统,其运行情况直接关系到飞行任务的成败.通过良好的测试性设计,可以提高系统的可靠性和安全性,减少维修人力及其他保障资源,降低寿命周期费用.对拜占庭容错体系结构的航天器控制系统和分层多信号流图模型的测试性设计和建模方法进行了详细的叙述,并对基于拜占庭容错体系结构的航天器控制系统进行了测试性建模,通过测试性建模和分析系统（TMAS软件）验证控制系统测试性设计的正确性和有效性.     

容错计算机的调试器设计

探讨了容错计算系统的调试方法和工具结构,提出采用RTscope多任务调试工具在目标机操作系统层上完成调试的途径.说明了容错计算机开发和测试对环境的要求,给出了调试器的体系结构和完成实时通信功能的驱动程序,建立了Windows实时多任务交叉调试环境.结果表明大大地降低了系数的复杂性,使之易于开发和测试周期.     

一种星载控制计算机智能容错方法

  深空探测任务对星载控制计算机的智能性、环境适应性和自主性提出新的需求。介绍目前星载控制计算机容错方法的进展情况,提出可进化硬件容错这种可用于星载控制计算机容错设计的智能容错方法,给出该方法的三种实现结构,即并行结构、串行结构和具有故障检测功能的串行结构,并对各种结构进行分析和比较。最后,用仿真验证平台验证了串行结构的可行性和容错性。     

小卫星星务管理计算机容错系统的设计

采用双机冗余的容错方案,对小卫星星务管理计算机容错系统的设计进行了较为深入的探索。在设计中,充分利用软、硬件容错技术相结合的优势,完成了星务管理计算机系统级和部件级硬件体系结构设计。提出了在主机发生故障的临界状态,启动备份机工作的临界切换设想。最后,通过仿真实验和系统模型可靠性分析,证明了系统可以满足设计的要求,具有较高的理论和实践价值。     

分布式可重构容错计算机设计技术的探讨

对分布式可重构容错计算机系统用于空间站的设计技术作了粗略探讨。其中主要包括:用分布、并行和重构方法提高可靠性和吞吐量,以及可复用软件库和开发工具的应用技术。     

单片系统在星载计算机上的应用

小卫星的设计目标之一是低成本、轻质量以及研制周期短，使用商用现货的元器件和开发工具可以更好的支持这一思想。可编程单片系统是其中的一项关键技术。这种单片系统方案可以降低小卫星电子系统(比如数管，通信和控制系统)的体积、复杂度和成本。该文阐述了单片系统在航天器上的应用，并以一星载计算机的单片系统作为设计举证，包括一个微处理器软核、其他的外围接口设备软核及所采用的目标芯片，并对以微处理器软核为核心的片上系统如何实现进行描述，同时提供了通过片上总线集成外围接口设备软核的方法。     

三模冗余MPSOC容错设计与验证

为了提高MPSOC处理器的可靠性,提出了一种基于软件表决和硬件仲裁的三模冗余容错处理器设计方案,并对这种容错设计进行了原型实现和验证,试验结果表明了方案的正确性和有效性.     

一种星载计算机自稳定容错时间同步算法

提出一种新的时间同步方法,将软同步和硬同步结合,通过单机间的信息交互完成时间同步.单机之间通过初始化同步建立初始同步状态,然后进入同步保持状态.当单机由于临时故障失去同步后,可通过同步搜索算法自恢复与其他单机的同步.本算法可应用于多机热备份体系结构的星载计算机的时间同步中,用于提高系统的自恢复能力.     

基于VxWorks的小天体撞击任务的星载GNC软件设计

针对小天体撞击任务,应用VxWorks嵌入式实时操作系统,设计小天体高速撞击器的星载GNC软件部分．对星载GNC系统结构进行简要描述;在此基础上,综合考虑小天体撞击任务的实时性要求、不同飞行模式的耦合关系、轨道确定的数学运算量以及对不同敏感器数据采集的周期性控制等多方面因素,对小天体撞击任务进行模块化分解,提出各个任务模块间的同步方式与通信手段;在PC-104嵌入式计算机与dSPACE实时仿真平台的联合环境下,对所设计的星载GNC软件进行仿真验证,结果表明,基于VxWorks嵌入式实时操作系统所设计的小天体撞击GNC软件完全可以满足小天体撞击任务的实时性要求,为撞击任务的顺利进行提供有效的保证．     

基于COTS的某型大气数据计算机设计CSCD

大气数据计算机是无人机重要机载设备,为节省设计成本和时间,采用基于COTS的方法对大气数据计算机进行设计,给出了系统的硬件平台选型方案,以商用uc/os系统为底层操作系统,完成系统功能设计,并对设备的工作性能进行了验证,结果表明该方案合理可行,满足无人机设计使用要求。     

天宫一号目标飞行器控制计算机的设计与验证

与载人航天一期＂轨道舱＂相比,载人航天二期天宫一号目标飞行器对控制计算机的功能、性能和环境适应性都提出了更高的要求.依据GNC分系统对控制计算机的功能与可靠度需求,介绍天宫一号目标飞行器控制计算机的容错方案、硬件设计、系统软件设计、可靠性分析和试验验证情况,地面验证结果表明：天宫一号目标飞行器控制计算机设计满足GNC分系统的需求.