检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]国防科学技术大学计算机学院,长沙410073
出 处:《中国科技论文》2016年第14期1594-1599,共6页China Sciencepaper
基 金:高等学校博士学科点专项科研基金资助项目(20124307120037);国家自然科学基金资助项目(61202116)
摘 要:空间环境下高能粒子辐射所产生的单粒子效应是半导体电路中的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.
分 类 号:TP313[自动化与计算机技术—计算机软件与理论]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:3.20.238.29