小卫星姿控与星务管理的一体化设计

介绍一种将姿控系统和星务管理系统融为一体的设计思想，它节约了星载机资源，提高了系统信息处理的实时性，很好地体现了小卫星的质量轻、体积小、成本低的优势。对姿控系统的硬件组成、卫星的飞行模式和控制策略、星务管理软件的体系结构和总结设计思想、姿控软件的星务管理软件的接口设计等内容做了重点讨论。     

小卫星故障诊断与处理技术

介绍一种简单有效的故障诊断及处理技术，它将小卫星的故障分为分系统级，系统级和系统外部级三种，并由星务管理软件处理系统级故障，在每个循环周期都对遥测参数进行采集和监测，故障发生时，根据故障的优先级，选择并恢复具有最高优先级的故障。该技术在某小卫星中应用，能有效满足系统控制周期的限制和系统可靠性要求。     

基于虚拟寄存器的控制流错误检测算法

控制流故障是航天软件系统必须面对的一个重要故障类型。提出一个基于程序基本块模型的算法CFCVR（Control Flow Checking Basedon Virtual Register，基于虚拟寄存器的控制流检测）对程序控制流进行检测。它首先通过虚拟寄存器分配算法获得虚拟寄存器，然后基于这些虚拟寄存器添加特定的控制流28．7％的性能代价和平均检测指令。这些指令可以检测模块间的控制流错误，所有工作都是在汇编源程序上完成的。实验表明CFCVR会引入平均31．3％的存储代价，而对于控制流错误检测率平均为97．1％，优于目前已存在的各种方法，能够提高航天软件容错能力和可靠性。     

微小卫星星务计算机系统的容错控制策略研究

微小卫星系统是一个可靠性要求很高的系统,需要由具有容错能力的星载计算机来控制。针对微小卫星重量、体积、功耗的限制,提出了一种微小卫星的星务计算机系统的可靠性设计方案,设计中采用双模冗余方案搭建系统的容错结构,并根据卫星的运行要求提出了适用于微小卫星的温备份方式容错控制策略,介绍了一些用于支持温备份方式容错控制策略的关键技术。通过分析在微小卫星设计中的适用情况,温备份策略从硬件开销和时间开销两个方面都有利于卫星的设计。在立体测绘微小卫星“试验卫星一号”的星务计算机系统中的应用表明,提出的可靠性设计方案能够提高小卫星的可靠性、安全性以及实时性。