基于Profile检查点的航天级软件加固机制

【摘要】：星载计算机工作于辐射环境复杂的外太空,高能宇宙射线是影响星载计算机工作的重要因素,这些因素会导致航天器存储器件发生单粒子翻转效应(Single Event Upset,简称SEU)。SEU会触发硬件瞬时错误,从而使得软件故障和出现错误的几率成倍增长。为了满足星载计算机高可靠性需求,硬件加固与软件加固缺一不可。多数嵌入式实时操作系统都会提供一套自带的检错恢复机制来应对SEU。重启任务是其主要手段之一,但是这种方法恢复代价巨大,会造成严重的系统资源浪费。因此,开发一种兼具可靠性与实时性的软件加固机制势在必行。本文主要工作如下:首先对星载计算机工作所处的严峻宇宙环境以及星载计算机的可靠性需求进行深入分析。然后对目前的容错技术进行分类对比,尤其对软件加固中的检查点机制进行细致研究。通过与概率论相结合,对SEU硬件瞬时错误导致的软件错误代码分布进行分析,提出基于Profile的检查点模型以及PBC算法。与传统检查点相比,本机制具有以下两个优点:一,在同一段测试代码,基于Profile的检查点可以使用较少的检查点,较少的空间开销,获取比传统检查点技术更高的恢复性能;二,可以通过用户指导,动态的优化检查点插入位置,快速适应宇宙环境的变化。最后,本文基于该软件加固思想,采用BM3803处理器和Vx Works嵌入式操作系统搭建实验平台,实现基于Profile的检查点和传统检查点加固机制,并对两者回滚效率进行对比。实验结果表明,基于Profile的检查点相较于传统检查点具有明显的优势。
【关键词】：星载计算机 单粒子翻转效应 基于Profile的检查点模型 PBC算法 Vx Works
【学位级别】：硕士
【学位授予年份】：2013
【分类号】：V446;TP316