任务 容错 载荷数 分布式 资源 运行 重复 运行的 飞行软件 规格 NASA 可预测的 参与 模块化 容错软件 方法 地面站 实现 自动化 数据分析 有效载荷 数据压缩 带宽 分析技术 系统级 软件开发 技术