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

Research on Triple Modular Redundancy Boot Mechanism Based on New Type VxWorks Compressed Image

摘要:

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

Abstract:

Aerospace Engineering often requires triple modular redundancy (TMR). While VxWorks bootable image is ROM address relevant and it cannot be used as a TMR type image directly. The new compressed image based on VxWorks compressing algorithm is independent of ROM address. The image can be copied exactly to store in three ROM areas. When system booting , each bit data copied to RAM to make up a complete image is got by comparing three bits in the same position in three same image stored in ROM area. After software boot, the one bit type error which is usually caused by Single Event Upset (SEU) can be corrected by writing back the correct data in image. The software boot reliability benefits from the new type image and TMR booting mechanism greatly.