星载LTE上行同步处理抗辐照技术研究
发布时间:2018-11-19 13:22
【摘要】:近年来,基于商用器件构建星载平台已成为提高星上处理能力的重要技术手段之一。基于商用器件构建星载平台首先要解决的是抗辐照问题,因而国内外研究学者纷纷开展了针对非宇航级器件的软容错、软加固技术研究。本文依托卫星通信领域国家863计划,以星载处理平台数据流和控制流的容错技术作为研究切入点,详细分析了星载LTE上行同步处理相关的数据流和控制流基本特性,给出软件数据流脆弱点的识别方法,并分别针对数据流和控制流的软容错技术开展了研究,提出了容错方法的设计。主要研究内容如下:1、针对现有错误传播分析方法对大容量数据处理软件脆弱点识别存在较大偏差的问题,结合星载LTE上行同步处理大容量数据处理需求,引入复杂网络理论,提出一种基于网络节点度的软件数据流脆弱点识别方法。该方法以错误传播分析方法为基础,通过定义单粒子翻转错误渗透率,并采用矩阵化描述方法构建了错误传播网络模型,将软件数据流脆弱点挖掘问题转化为网络关键节点挖掘问题,以一定的虚警概率搜索所有的局部极值,从而实现该虚警概率下全部的数据流脆弱点挖掘。仿真结果表明该方法可有效识别星载LTE上行同步处理大容量数据处理中的脆弱点。2、针对单粒子翻转造成星载处理的数据流错误,提出一种基于低复杂度编译码算法的数据流纠错方法LCCE。该算法利用简单的移位和异或运算实现伴随矩阵的求解,避免不了SBC方法的两处判断分支,有效降低了编译码算法的复杂度,减少了时间开销。仿真结果表明:LCCE方法以较低的计算复杂度获得与SBC方法相当的抗SEU纠错性能。3、针对单粒子翻转造成星载处理的控制流错误,提出一种基于扩展块的可配置控制流标签设计方法。该方法首先对控制流标签检测方法的检测效能与容错开销进行建模分析,对任一给定基本块内错误检测概率,推导出所需设置检测点数量的最小值,作为可配置标签设计的参考依据;然后为实现该配置要求将ECCFS算法和扩展块划分方法相结合,依据标签设计参考,通过扩展块划分、ECCFS标签格式调整和检测点设置,实现给定检测要求下的标签设计,该方法兼顾了块内与块间的错误检测性能。4、基于Simple Scalar模拟器构建故障注入实验平台,对所提数据流纠错方法和控制流容错方法进行模拟故障注入实验,验证了相关算法的容错性能。
[Abstract]:In recent years, the construction of spaceborne platform based on commercial devices has become one of the important technical means to improve onboard processing capability. The first problem to be solved in building a spaceborne platform based on commercial devices is irradiation-resistant, so researchers at home and abroad have carried out research on soft fault-tolerant and soft reinforcement techniques for non-aerospace devices. Based on the national 863 plan in the field of satellite communication, this paper takes the fault-tolerant technology of spaceborne processing platform and control flow as the breakthrough point, and analyzes in detail the basic characteristics of the data stream and control flow related to the uplink synchronous processing of spaceborne LTE. This paper presents a method to identify the weak points of software data flow, studies the soft fault-tolerant technology of data flow and control flow, and presents the design of fault-tolerant method. The main research contents are as follows: 1. Aiming at the problem that the existing methods of error propagation analysis have a large deviation in identifying the weak points of large capacity data processing software, combined with the requirement of space-borne LTE uplink synchronization processing, large capacity data processing, By introducing the theory of complex network, a method of software data stream vulnerability identification based on network node degree is proposed. Based on the error propagation analysis method, the error propagation network model is constructed by defining the single particle flip error permeability and using the matrix description method. The software data stream fragile point mining problem is transformed into a network key node mining problem, and all local extremum are searched with a certain false alarm probability, and all the data stream fragile points mining under the false alarm probability is realized. The simulation results show that this method can effectively identify the weak points in the space-borne LTE uplink synchronization processing. A data Stream error Correction method based on low complexity coding and Decoding algorithm LCCE. The algorithm uses simple shift and XOR to solve the adjoint matrix, which can not avoid the two judgment branches of the SBC method, reduce the complexity of the encoding and decoding algorithm and reduce the time cost. The simulation results show that the LCCE method achieves the same anti-SEU error correction performance as the SBC method with low computational complexity. 3. The control flow error caused by single-particle flipping is the same as that of the SBC method. A design method of configurable control flow label based on extension block is proposed. In this method, the detection efficiency and fault-tolerant overhead of the control flow label detection method are first modeled and analyzed, and the minimum value of the number of detection points is deduced for any given basic block error detection probability. As a reference for the design of configurable labels; Then, in order to realize this configuration, the ECCFS algorithm is combined with the extended block partition method. According to the reference of label design, the tag design is realized under the given detection requirement by extending block partition, ECCFS tag format adjustment and detection point setting. This method takes into account the performance of error detection within and between blocks. 4. Based on the Simple Scalar simulator, the fault injection experiment platform is constructed, and the error correction method of the proposed data flow and the fault-tolerant method of the control flow are simulated through the fault injection experiment. The fault-tolerant performance of the algorithm is verified.
【学位授予单位】:解放军信息工程大学
【学位级别】:硕士
【学位授予年份】:2014
【分类号】:TN929.5
本文编号:2342425
[Abstract]:In recent years, the construction of spaceborne platform based on commercial devices has become one of the important technical means to improve onboard processing capability. The first problem to be solved in building a spaceborne platform based on commercial devices is irradiation-resistant, so researchers at home and abroad have carried out research on soft fault-tolerant and soft reinforcement techniques for non-aerospace devices. Based on the national 863 plan in the field of satellite communication, this paper takes the fault-tolerant technology of spaceborne processing platform and control flow as the breakthrough point, and analyzes in detail the basic characteristics of the data stream and control flow related to the uplink synchronous processing of spaceborne LTE. This paper presents a method to identify the weak points of software data flow, studies the soft fault-tolerant technology of data flow and control flow, and presents the design of fault-tolerant method. The main research contents are as follows: 1. Aiming at the problem that the existing methods of error propagation analysis have a large deviation in identifying the weak points of large capacity data processing software, combined with the requirement of space-borne LTE uplink synchronization processing, large capacity data processing, By introducing the theory of complex network, a method of software data stream vulnerability identification based on network node degree is proposed. Based on the error propagation analysis method, the error propagation network model is constructed by defining the single particle flip error permeability and using the matrix description method. The software data stream fragile point mining problem is transformed into a network key node mining problem, and all local extremum are searched with a certain false alarm probability, and all the data stream fragile points mining under the false alarm probability is realized. The simulation results show that this method can effectively identify the weak points in the space-borne LTE uplink synchronization processing. A data Stream error Correction method based on low complexity coding and Decoding algorithm LCCE. The algorithm uses simple shift and XOR to solve the adjoint matrix, which can not avoid the two judgment branches of the SBC method, reduce the complexity of the encoding and decoding algorithm and reduce the time cost. The simulation results show that the LCCE method achieves the same anti-SEU error correction performance as the SBC method with low computational complexity. 3. The control flow error caused by single-particle flipping is the same as that of the SBC method. A design method of configurable control flow label based on extension block is proposed. In this method, the detection efficiency and fault-tolerant overhead of the control flow label detection method are first modeled and analyzed, and the minimum value of the number of detection points is deduced for any given basic block error detection probability. As a reference for the design of configurable labels; Then, in order to realize this configuration, the ECCFS algorithm is combined with the extended block partition method. According to the reference of label design, the tag design is realized under the given detection requirement by extending block partition, ECCFS tag format adjustment and detection point setting. This method takes into account the performance of error detection within and between blocks. 4. Based on the Simple Scalar simulator, the fault injection experiment platform is constructed, and the error correction method of the proposed data flow and the fault-tolerant method of the control flow are simulated through the fault injection experiment. The fault-tolerant performance of the algorithm is verified.
【学位授予单位】:解放军信息工程大学
【学位级别】:硕士
【学位授予年份】:2014
【分类号】:TN929.5
【参考文献】
相关期刊论文 前10条
1 张萌;于海;付昱霖;常永宇;;移动卫星系统与LTE网络间干扰共存性能的研究(英文)[J];中国通信;2013年07期
2 胡嘉伟;江建慧;;一种面向软件可靠性评估的故障注入机制的设计与实现[J];计算机辅助设计与图形学学报;2012年06期
3 李静梅;吴艳霞;沈晶;张健沛;;改进的CFCSS控制流检测算法[J];哈尔滨工程大学学报;2011年06期
4 徐建军;谭庆平;李建立;李剑明;;一种基于格式化标签的可扩展控制流检测方法[J];计算机研究与发展;2011年04期
5 徐建军;谭庆平;熊磊;叶俊;;一种针对软错误的程序可靠性定量分析方法[J];电子学报;2011年03期
6 王伟成;罗宇;;基于分布式架构的星载并行计算机容错技术[J];计算机工程与科学;2011年03期
7 李剑明;谭庆平;徐建军;蒋诚;;基于路径跟踪的控制流检测[J];计算机工程;2009年20期
8 李爱国;洪炳昒;王司;;基于错误传播分析的软件脆弱点识别方法研究[J];计算机学报;2007年11期
9 康晓军;王劲强;王芸;;基于扩展块的星载软件控制流容错评价方法[J];航天返回与遥感;2007年03期
10 李爱国;洪炳昒;王司;;一种星载计算机数据流软故障纠正算法[J];宇航学报;2007年04期
,本文编号:2342425
本文链接:https://www.wllwen.com/kejilunwen/wltx/2342425.html