题目：卫星用多粒度软件在轨维护技术

控制计算机是卫星内的核心处理单元，其运行状态对卫星工作任务能否正确完成具有重要影响。因此在进行控制计算机设计时，需要在满足产品可靠度、研制经费、重量与能耗等基本要求下，提供对在轨问题的自主检测、自主隔离和纠正机制，目的是当计算机出现故障后能够及时报告错误，并根据报告的信息对故障进行纠正或重试，提升卫星在故障下继续执行任务的能力。此外，在轨工作期间对计算机上运行的软件进行维护或升级，可使卫星系统具备一定的任务可增强能力，提升使用的扩展性。
本课题所研究的多粒度在轨维护技术，是支撑空间飞行器长寿命周期运行的重要技术之一，是星弹载嵌入式实时操作系统的重要功能服务。本课题的研究目标针对星载计算机在轨长寿命周期运行的背景，研究和实现软件在轨维护的相关技术，以补丁应用的形式实现包括变量、函数、任务三个不同粒度的在轨修改功能。
本文的主要工作内容为以下四个方面：
1) 完成不同功能补丁的格式设计及地面补丁生成工具的开发；
2) 完成软件符号库的格式制定及生成方法研究；
3) 完成星上软件补丁接收、校验、加载、运行模块开发，实现可在卫星在轨条件下对变量、函数和任务等不同级别的程序修改；
4) 通过地面模拟实验完成对设计结果的验证，并对设计效果进行评估分析。