为空间飞行器量身打造：可自修复的空间电子系统设计

　　设计摘要：

　　空间飞行 器的电子系 统设计面 临着一些 问题。首先 ，太空飞行器执行任 务时会经历复 杂的空间环 境，包括 温度数百度 的巨变， 很强的电磁 干扰和宇 宙高能粒子辐射 等。这对可 靠性提出 了很高的要 求。第二 ，深空探测 的航天器 的目标离地通常 较远，飞行 时间越来 越长，甚至 长达数年 。迫切需要 航天器的 硬件系统能够升级更新，实现功能扩展。第三，空间电子系统本身复杂 度越来越高，当 系统出现故障时，需要进行自主修复功能。

　　我们计划采用 Xilinx 的 Virtex FPGA 实现一个能解决以 上问题的空间电子系 统。利用 部分可重配 置特性实 现系统的远 程更新， 并利用可重 构计算加 上加速 航天器姿 态确定，姿 态轨道控 制等算法的 运算。当 系统受到高 能粒子轰 击，发生单粒子事件翻转故障时，利用 FPGA 的配置回读特性实现故 障检测与自我修复。

　　系统原理及技术特点

　　2.1 系统原理

　　在本项目中，我 们以空间飞行器导航、制导与控制（GNC）系统 为具体实现对象，来设计 可自修复空 间电子系 统。导航、 制导与控 制系统在飞 行器中的 作用和工作原理如下图所示。

　　图表 1 导航制导与控制系统工作原理

　　首先，空间飞行器的 GNC 系统从地面站或导航算法得到执 行本次任务的期望位置与姿态信息。接着，GNC 系统通过飞行器上转载的敏感 元件获得飞行器本体目前真 实的轨道位 置与姿态 信息。敏感 元件包括 陀螺、加速 度计、星 敏感器、红外地平敏感 区等。这些信号 经过 AD 采用数字化、数字滤波、信号调理等处理后，经 过制导和控 制算法解 算，得到飞 行器推力 器控制信号 。由控制 信号驱动推力器 的开关为飞 行器的航 行或姿态调 整提供合 适的力或力 矩。当这 些力和力矩作用 于空间飞行 器本体上 时，其轨道 位置和姿 态会发生改 变。而位 置和姿态的改变 立即被敏感 元件测量 到，从形成 一个闭环 的控制系统 ，到 达期望的控制结果。

　　图表 2 GNC 系统硬件实现组件框图

　　2.2 可重构加速计算

　　在空间飞 行器不同的 时间阶段 要执行不 同的任务算 法。比如 ，当飞行器 刚刚到达预定 轨道时，首 先要执行 姿态确定任 务，主要 算法有扩展 卡尔曼滤 波算法等。之后 要进行姿态 调整控制 ，执行姿态 控制算法 。再运行轨 道导航制 导算法等等。可以看出在不 同的任务阶段，执行的算 法是不同的。对此，我们在 FPGA内部规划了 2 块独立的部分可重配置区域，在不同的任务阶段， 对其配置合适的算法硬件加速模块，从而大大提供系统的运 算性能。由于部分重配置时，FPGA的其他区域 任然正常的 工作运行 ，从而可以 在不同任 务阶段平滑 的切换硬 件算法模块，而不会对整个系统的运行造成中断。FPGA 内部规划架构图如 下。

　　图表 3 FPGA 片上系统组件架构图

　　部分重配置设计流程

　　第一步：用 HDL 描述设计并综合计可以用 VHDL 或 Verilog 语言描述，任何一种 ISE 支持的 综合工具都可 以用来综 合。在综合 时，必须 把其设置为 在不同的 设计层次间 没有优化 。另外 应该禁止 I/O 插入以防止 I/O buffers 插入到低层模块中。每个 部分重配置区域的模块都必须分别综合。

　　第二步：设置设计的约束

　　为布局布线设置约束。除了时序约束外（ PERIOD，etc）还必须设置 AREAGROUP， AREA GROUP RANGE， MODE 和 LOC 约束。

　　第三步：实现非部分重配置区域的设计

　　第四步：时序/布局分析

　　第五步：实现基础设计

　　第六步：实现各个重配置模块

　　第七步：融合顶层，基础及部分配置模块设计，并生成最 终的配置 bit 文件在两个部 分重配置区 域中，我 们将在不 同的任务阶 段根据其 算法特点配 置不同的算法 硬件加速模 块。在航 天器姿态轨 道控制系 统中要实现 对系统参 数的估计，最常用的技术 就是基于扩展卡尔曼滤波（EKF）技术的姿态确定算法。该方法 除了可以 估计航天器 的姿态参 数外，还可 以估计矢 量观测中的 一些不确 定性参 数。因此，该方法能够获得很高的姿态确定精 度。

　　图表 4 卡尔曼滤波算法流程

其中，姿态四元 数q=［q13 q4］T=［q1 q2 q3 q4］，其 中q13 为矢量部分，q4 为标 量部分。u（t）为三个陀螺的测量输出值 ，ω（t）为沿三个陀螺输入轴的真实姿态角 速率，b（t）为三个 陀螺的常值漂移，d（t）为三个陀螺的相关漂移，n1 为三个陀螺 的测量白噪声，且n1 的三个分量服从N（0，σgi ），（i=x，y，z）。我 们将把此算法用HDL语言编制 成硬件并行 执行模