空间环境下高能粒子辐射所产生的单粒子效应是半导体电路中的1种瞬态故障现象,是影响航天计算机可靠性的重要原因。与硬件加固技术相比,针对单粒子效应的软件容错技术由于在实现成本和灵活性等方面的优势而备受关注。而自动化工具能提高容错加固的效率,拓展软件容错技术的应用范围。本文面向DSP线性汇编程序,设计实现了一种容错自动转换工具AFTCT。AFTCT能够实现程序分析和容错转换功能。同时,该工具能够集成多种容错算法,对新算法具有很好的扩充能力。并且结合JPEG2000程序对转换后代码进行了测试验证。
Single Event Effects (SEEs) are a kind of transient fault phenomenon in semiconductor circuit, which is caused by the external radiation from the high energy neutrons from cosmic rays, and etc. SEEs are always one of vital reasons for affecting the reliability of space computers. Comparing with the hardware-implemented fault tolerance for SEEs. the software-implemented methods are attractive because of their advantage on costs and flexibility. The automatic tools will improve the efficiency of radiation harden, and extend the applicability of fault tolerance techniques. For the DSP linear assembly programs,this paper presents a fault tolerance automatic conversion tool for SEEs, named AFTCT. AFTCT implements a linear assembly program analysis function and he fault-tolerant conversion function At the same time, the tool can integrate a variety of fault-tolerant algorithm, and have good expansion capability to the new algorithm. Combined with JPEG2000 program to verify the converted code.