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

针对卫星在轨运行、长期处于无人值守状态,主要依靠星载软件的安全性和可靠性来保证整星任务的稳定工作.复杂多变的空间环境可能会引起星载器件的异常变化,从而导致星载软件异常,甚至发生软件"衰老".本文在分析现有可重构方案基础上,提出了一种利用动态库的静态链接方式实现在轨可重构的方案,针对存在软件缺陷,或者需要功能升级和拓展的...     

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

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