邹玉龙，刘 彬，田小莉，郭宗芝，牛 崇

(上海微小卫星工程中心，上海 201210)

基于VxWorks新型映像的三模冗余启动机制研究

邹玉龙，刘 彬，田小莉，郭宗芝，牛 崇

(上海微小卫星工程中心，上海 201210)

针对VxWorks启动映像依赖于ROM地址，不能适应航天型号中三模存储要求的缺点，利用VxWorks自带的压缩算法，按照航天型号软件任务要求设计了一种基于VxWorks内存型映像的新型压缩映像，实现了软件映像与ROM区地址无关;并且实现了新型压缩映像的三模冗余引导启动，启动时每一个bit数据都从三份映像获取，并进行三取二判断，将最后结果拷贝到内存作为目的映像的bit数据，目的映像启动后能够回写正确数据自动纠正空间环境下可能发生的单粒子翻转错误，为软件的可靠启动建立了基础。

VxWorks；三模冗余；压缩映像；引导启动

0 引言

航天型号软件任务中，ROM存储空间紧张，要求应用映像大小尽量小，启动时间尽量短，另外对于应用映像的启动可靠性也有较高的要求，对软件映像一般会要求进行三模冗余存储。VxWorks操作系统由于良好的实时性，稳定性和可裁剪性，在航天领域得到了广泛的应用。但是VxWorks/Tornado提供的启动机制并没有直接支持三模冗余，这给软件设计工作带来了一定的困难。设计出一种应用映像占用存储空间小，启动时间短的三模冗余启动机制成为航天型号软件任务中的关键技术要求。

1 VxWorks/Tornado启动机制分析

VxWorks/Tornado开发过程中使用的启动机制有如下几种[1]。

1.1 有引导映像的启动机制

1) ROM区仅存储一份只包含引导功能的引导映像，引导映像往往比较小，启动速度比较快。……