【摘要】：近年來,基于商用器件構(gòu)建星載平臺(tái)已成為提高星上處理能力的重要技術(shù)手段之一�；谏逃闷骷䴓�(gòu)建星載平臺(tái)首先要解決的是抗輻照問題,因而國內(nèi)外研究學(xué)者紛紛開展了針對非宇航級器件的軟容錯(cuò)、軟加固技術(shù)研究。本文依托衛(wèi)星通信領(lǐng)域國家863計(jì)劃,以星載處理平臺(tái)數(shù)據(jù)流和控制流的容錯(cuò)技術(shù)作為研究切入點(diǎn),詳細(xì)分析了星載LTE上行同步處理相關(guān)的數(shù)據(jù)流和控制流基本特性,給出軟件數(shù)據(jù)流脆弱點(diǎn)的識(shí)別方法,并分別針對數(shù)據(jù)流和控制流的軟容錯(cuò)技術(shù)開展了研究,提出了容錯(cuò)方法的設(shè)計(jì)。主要研究內(nèi)容如下:1、針對現(xiàn)有錯(cuò)誤傳播分析方法對大容量數(shù)據(jù)處理軟件脆弱點(diǎn)識(shí)別存在較大偏差的問題,結(jié)合星載LTE上行同步處理大容量數(shù)據(jù)處理需求,引入復(fù)雜網(wǎng)絡(luò)理論,提出一種基于網(wǎng)絡(luò)節(jié)點(diǎn)度的軟件數(shù)據(jù)流脆弱點(diǎn)識(shí)別方法。該方法以錯(cuò)誤傳播分析方法為基礎(chǔ),通過定義單粒子翻轉(zhuǎn)錯(cuò)誤滲透率,并采用矩陣化描述方法構(gòu)建了錯(cuò)誤傳播網(wǎng)絡(luò)模型,將軟件數(shù)據(jù)流脆弱點(diǎn)挖掘問題轉(zhuǎn)化為網(wǎng)絡(luò)關(guān)鍵節(jié)點(diǎn)挖掘問題,以一定的虛警概率搜索所有的局部極值,從而實(shí)現(xiàn)該虛警概率下全部的數(shù)據(jù)流脆弱點(diǎn)挖掘。仿真結(jié)果表明該方法可有效識(shí)別星載LTE上行同步處理大容量數(shù)據(jù)處理中的脆弱點(diǎn)。2、針對單粒子翻轉(zhuǎn)造成星載處理的數(shù)據(jù)流錯(cuò)誤,提出一種基于低復(fù)雜度編譯碼算法的數(shù)據(jù)流糾錯(cuò)方法LCCE。該算法利用簡單的移位和異或運(yùn)算實(shí)現(xiàn)伴隨矩陣的求解,避免不了SBC方法的兩處判斷分支,有效降低了編譯碼算法的復(fù)雜度,減少了時(shí)間開銷。仿真結(jié)果表明:LCCE方法以較低的計(jì)算復(fù)雜度獲得與SBC方法相當(dāng)?shù)目筍EU糾錯(cuò)性能。3、針對單粒子翻轉(zhuǎn)造成星載處理的控制流錯(cuò)誤,提出一種基于擴(kuò)展塊的可配置控制流標(biāo)簽設(shè)計(jì)方法。該方法首先對控制流標(biāo)簽檢測方法的檢測效能與容錯(cuò)開銷進(jìn)行建模分析,對任一給定基本塊內(nèi)錯(cuò)誤檢測概率,推導(dǎo)出所需設(shè)置檢測點(diǎn)數(shù)量的最小值,作為可配置標(biāo)簽設(shè)計(jì)的參考依據(jù);然后為實(shí)現(xiàn)該配置要求將ECCFS算法和擴(kuò)展塊劃分方法相結(jié)合,依據(jù)標(biāo)簽設(shè)計(jì)參考,通過擴(kuò)展塊劃分、ECCFS標(biāo)簽格式調(diào)整和檢測點(diǎn)設(shè)置,實(shí)現(xiàn)給定檢測要求下的標(biāo)簽設(shè)計(jì),該方法兼顧了塊內(nèi)與塊間的錯(cuò)誤檢測性能。4、基于Simple Scalar模擬器構(gòu)建故障注入實(shí)驗(yàn)平臺(tái),對所提數(shù)據(jù)流糾錯(cuò)方法和控制流容錯(cuò)方法進(jìn)行模擬故障注入實(shí)驗(yàn),驗(yàn)證了相關(guān)算法的容錯(cuò)性能。
[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.
【學(xué)位授予單位】：解放軍信息工程大學(xué)
【學(xué)位級別】：碩士
【學(xué)位授予年份】：2014
【分類號(hào)】：TN929.5

【參考文獻(xiàn)】

相關(guān)期刊論文 前10條

1 張萌;于海;付昱霖;常永宇;;移動(dòng)衛(wèi)星系統(tǒng)與LTE網(wǎng)絡(luò)間干擾共存性能的研究(英文)[J];中國通信;2013年07期

2 胡嘉偉;江建慧;;一種面向軟件可靠性評估的故障注入機(jī)制的設(shè)計(jì)與實(shí)現(xiàn)[J];計(jì)算機(jī)輔助設(shè)計(jì)與圖形學(xué)學(xué)報(bào);2012年06期

3 李靜梅;吳艷霞;沈晶;張健沛;;改進(jìn)的CFCSS控制流檢測算法[J];哈爾濱工程大學(xué)學(xué)報(bào);2011年06期

4 徐建軍;譚慶平;李建立;李劍明;;一種基于格式化標(biāo)簽的可擴(kuò)展控制流檢測方法[J];計(jì)算機(jī)研究與發(fā)展;2011年04期

5 徐建軍;譚慶平;熊磊;葉俊;;一種針對軟錯(cuò)誤的程序可靠性定量分析方法[J];電子學(xué)報(bào);2011年03期

6 王偉成;羅宇;;基于分布式架構(gòu)的星載并行計(jì)算機(jī)容錯(cuò)技術(shù)[J];計(jì)算機(jī)工程與科學(xué);2011年03期

7 李劍明;譚慶平;徐建軍;蔣誠;;基于路徑跟蹤的控制流檢測[J];計(jì)算機(jī)工程;2009年20期

8 李愛國;洪炳昒;王司;;基于錯(cuò)誤傳播分析的軟件脆弱點(diǎn)識(shí)別方法研究[J];計(jì)算機(jī)學(xué)報(bào);2007年11期

9 康曉軍;王勁強(qiáng);王蕓;;基于擴(kuò)展塊的星載軟件控制流容錯(cuò)評價(jià)方法[J];航天返回與遙感;2007年03期

10 李愛國;洪炳昒;王司;;一種星載計(jì)算機(jī)數(shù)據(jù)流軟故障糾正算法[J];宇航學(xué)報(bào);2007年04期

，

本文編號(hào)：2342425