随着航天技术的进步,在轨航天器数量不断增加,新的航天应用不断出现,传统的航天器任务运行模式已难以满足当前航天事业发展的要求。为满足新的航天应用需求,提高在轨航天器的生存和抗打击抗毁坏能力、降低在轨航天器运行时空地问的数据传输开销和人工维护成本,开发具有自主运行管理能力的航天器是航天器未来发展的方向。航天器自主运行管理主要包括航天器自主规划和调度、自主健康管理和有效载荷数据自主处理三个方面。其中自主健康管理是航天器在轨自主安全稳定运行的重要保障。本文以实现一个支持自主健康管理的航天器自主运行管理软件开发框架SASF(Spacecraft Autonomy Software Framework)为目标,首先论述了航天器自主运行管理技术,并重点分析了自主健康管理技术及其相关的应用现状;然后分析了软件工程领域中现有的构件和框架技术在航天器应用软件开发领域的应用情况。在此基础上,我与课题组其他成员共同设计和实现了一个航天器自主运行管理软件开发框架,并主要承担了自主健康管理部分的设计和实现工作。该框架使用设计模式、接口和构件等技术提供对航天器自主规划调度、自主健康管理方面的框架级软件开发支持。本文概述了航天器自主运行软件开发框架的基本体系结构,重点阐述了自主健康管理部分的组成、设计和实现。该部分在设计和实现上提供对错误检测、故障定位、自主决策和错误恢复的框架级软件开发支持,降低了各模块间的耦合度和软件实现的复杂性。SASF框架提高了航天器应用软件开发的效率和复用性。针对硬件瞬时性故障引发的构件的健康问题,我们以面向硬件故障的软件容错思想为指导,提出了一个基于构件的数据流模型,定义了数据流图,分析了数据流模型具有的一些性质和规律。然后我们针对双冗余容错系统运行开销较大的问题,基于数据流模型,提出了两种错误检测算法、一种故障定位算法和一种自主决策算法。本文阐述了这些算法的基本原理,并给出了具体算法。两种错误检测算法在保证错误检测覆盖率的同时,通过减少冗余结点的数量,降低了系统运行开销;故障定位算法通过减少需要进行故障定位检测的结点数量,降低了容错延迟;自主决策算法实现了错误的预测处理和动态的冗余结点调整,有利于降低容错延迟、提高错误检测的灵活性。最后,我们基于SASF框架实现了上述数据流模型及算法。