随着科学的进步,空间技术的发展以及人类对空间探索的逐步深入,空间机器人已经越来越多地应用于空间活动中,而且这种应用必然会越来越广泛。然而,面对复杂的空间环境,研究如何能够减少太空环境中能量辐射和高能粒子流等对空间机器人产生的负面影响,保障空间机器人在太空中稳定、可靠地运行就成为至关重要的任务。空间机器人一般指的是自由飞行空间机器人,可在行星的大气环境中飞行,有灵活的机械臂,主要完成空间飘浮物的抓取和清理工作。能量辐射和高能粒子对空间机器人的一个相当大的负面影响就是会导致单粒子翻转现象。通常,是用专用的硬件来处理这类问题,但这些专用的硬件虽然能够具有较强的容错功能,但性能较差,且价格昂贵,性价比低,并不适合越来越多的大规模的空间计算,因此,空间机器人的软件容错就显得日益重要。本文就是在这样的大背景下产生的。本文对空间机器人计算机系统的结构进行了一些剖析,并对其它的一些容错软件模型进行了一些分析,在此基础之上,提出了一个致力于保障空间机器人系统正常运行的软件容错模型。在此容错模型基础之上,本文实现了四种软件容错的算法,分别为基于I/O的分布式软件容错算法、基于I/O的集中式软件容错算法、基于检查点的分布式软件容错算法和基于检查点的集中式软件容错算法。这四种算法对于不同的运行环境和不同的容错对象有着不同的表现。基于I/O的件容错算法在通信较多的系统中表现良好;基于检查点的软件容错算法能够在以计算为主的程序中发挥巨大的作用。在课题设计中,用到了几种关键性的技术,包括签名技术和容错技术,并且,采用了I/O签名和检查点签名的方案来检测错误,利用冗余和恢复技术来进行容错处理,使系统的容错性能得到提高。经实验验证,本模型以及相应的算法能够以较高的概率发现程序运行时发生的出错现象,并能够很好地进行容错,基本上能够满足空间机器人系统对容错的需求,而且由于很好地利用了系统的空闲资源进行冗余,所以对性能的影响并不显著。此外,本文中建立的模型以及提出的算法不仅仅对空间机器人系统的软件容错有效,对于其它的分布式系统也可以具有一定的借鉴意义。