郝玉涛 孙建祥 安占新

1.中国载人航天工程办公室，北京 100071 2.北京航天自动控制研究所，北京 100854

0 引言

2017年俄罗斯研制的 “联盟-2.1B”火箭在东方港基地发射，由于飞行软件使用的发射场坐标参数是拜科努尔发射场的数据，导致火箭未能进入预定轨道，坠落大西洋[1]。由此可见，飞行软件正确与否关系到运载火箭发射任务的成败，确保飞行软件执行程序的正确性是航天型号软件设计人员致力解决的重要问题之一。

目前，航天控制领域广泛使用德州仪器公司(Texas Instruments,简称TI) DSP(Digital Signal Processors)处理器进行控制计算。软件设计人员通过集成开发环境CCS(Code Composer Studio)或者CC(Code Composer)生成COFF(Common Object File Format，通用对象文件格式)格式的飞行软件，再通过其配套的转换工具，生成自举表(Boot Table)格式的文件，固化在计算机的FLASH中。计算机上电后，通过自带的bootloader引导程序，自动加载自举表格式的文件运行[2]。自举表格式的执行程序能够满足运载型号部分计算机上电自动引导的需求，但不能满足型号部分计算机需要通过二次引导程序[3-4]运行的需求。自举表格式的文件不仅包含DSP执行程序，还带有其它额外信息。二次引导的目标文件(DSP执行程序)不允许带有这些额外信息。

为了满足通过二次引导程序运行的需求，需要生成二进制格式的DSP执行程序。以往，软件设计人员主要采用2种人工提取方法：(1)通过集成开发环境控制仿真器，将COFF格式的目标文件下载到DSP处理器中，再按照MAP文件(用于表示程序、数据以及IO空间的映射)中的代码段以及初始化数据段地址，提取相应内存中的执行程序以及初始化数据;(2)软件设计人员人工分析COFF格式的文件，在文件中提取出代码段以及初始化数据段。……