现代小卫星具有许多传统卫星无可比拟的优势,逐渐成为目前空间技术研究的焦点。本课题以南京航空航天大学“TXZ-1”微小卫星研制项目为背景,对于小卫星星载计算机容错和可靠性技术进行了深入的研究。　　 首先为在资源受限条件下,最大限度提高小卫星星务计算机系统的可靠性,设计一种基于松耦合多处理器体系结构的双机冗余容错设计方案,通过硬件和软件容错关键技术的整合,以实现从整体上提高系统可靠性目的。利用马尔可夫预测的基本原理,将马尔可夫链引入到系统可靠性模型建立中,通过建立转移概率矩阵,对系统的可靠性进行分析并建立可靠性模型。　　 接下来对星务系统任务容错调度算法进行探讨和研究。根据微小卫星星务任务的特点,建立一个多任务模式的实时容错算法模型,综合考虑了周期性任务和非周期性任务的特点,给出了模型的定义和相关特性,并结合任务分配算法和嵌入式处理器的局部动态调度算法,提出一种新的静态调度动态调整的小卫星任务容错调度算法。本算法融合基/副版本技术和Hopfield算法,把静态分配归结为在资源和时间约束下的规划调度问题,即将目标函数和约束条件转化为能量函数形式,利用Hopfield神经网络算法高效快速求解出全局极小点或近似值作为分配最优解,动态局部调整非周期任务工作和副版本任务,保证任务执行的可靠性和时效性。　　 然后对于软件容错方式屏蔽硬件暂态故障的方法进行了深入研究,提出了一种基于模糊动态聚类判断数据一致性方法,能够在星载计算机系统元器件发生暂态故障的情况下,有效地容错并输出正确的数据。　　 最后对于“TXZ-1”星载计算机原型机方案和仿真平台进行了介绍。并对课题的研究工作进行了总结,指出了不足之处并对下一步工作进行了展望。