基于动态库的星载软件可重构设计与实现

针对卫星在轨运行、长期处于无人值守状态,主要依靠星载软件的安全性和可靠性来保证整星任务的稳定工作。复杂多变的空间环境可能会引起星载器件的异常变化,从而导致星载软件异常,甚至发生软件"衰老"。本文在分析现有可重构方案基础上,提出了一种利用动态库的静态链接方式实现在轨可重构的方案,针对存在软件缺陷,或者需要功能升级和拓展的模块,利用遥控上注手段,采用MD5算法对数据文件完整性校验通过后,写入文件系统,并对原动态库文件作备份处理,以便版本回退。以具体实例对本文所述方案的可行性和有效性进行验证,结果表明:在嵌入式操作系统架构下,利用本方案实现星载软件可重构,能够有效提升星载软件在轨实施可重构的可靠性和安全性,进一步为星载软件的扩展和灵活应用提供支撑。     

一种XILINX7系列FPGA的抗单粒子翻转加固技术

为解决XILINX公司7系列FPGA受SEU (单粒子翻转)的影响,采用一种基于软件错误缓解IP核(SEM IP)的新型回读刷新技术,使用SEM IP的故障注入方法并进行故障注入实验及单粒子实验。实验证明,该技术可在FPGA配置位流数据结构未知的情况下,以帧为单位对XILINX 7系列FPGA的配置位流进行比对及纠错,从而实现抗SEU加固。