基于高可靠R80515的控制流檢測(cè)算法研究.pdf

1、分類號(hào)：——UDC：一密級(jí)：——編號(hào)：——工學(xué)碩士學(xué)位論文基于高可靠R80515的控制流檢測(cè)算法研究碩士研究生：指導(dǎo)教師：學(xué)位級(jí)別：學(xué)科、專業(yè)：所在單位：論文提交日期：論文答辯日期：學(xué)位授予單位：王克惠顧國(guó)昌教授工學(xué)碩士計(jì)算機(jī)應(yīng)用技術(shù)計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院2008年1月2008年3月哈爾濱工程大學(xué)哈爾濱工程大學(xué)碩士學(xué)位論文；；；；；；；；；；；；；；；；；；；；；；；；；；；；；；；；；；；；；；；；；；；；；；；；；；；；；；；；；；；

2、；；；；；；；；；；；；；；；ABSTRACTMicroprocessorisincreasinglyusedintheharshenvironmentSingleEventEffectsrefertothephenomenathatasinglehighenergyparticleinterfereselectronicdevices，whichisthemajorfactordecreasingthereliabilityofmic

3、roprocessorinthespaceenvironmentControlflowdetectiontechnologyisoneoftheeffectivemeanstopreventtheprogramrunningerrorscausedbySingleEventUpsetAtpresent，therearetwowaysofcontrolflowdetection：softwarewayandhardwaresoftware

4、wayThesoftwarewayisflexibleandsuitablefordifferenthardwareplatforms，butithasalargesystemoverhead。Contrastively，thehardwaresoftwarewayhasasmallsystemoverheadandabroadapplicationprospectThisdissertationdoesresearchonthehig

5、hlyreliableR80515whichisdesignedbyNationalDefenseScienceandTechnologyUniversityThedissertationfirstlyintroducesthecontrol—flowdetectiontheoryandseveralcommoncontrol—flowdetectionalgorithms，emphasizestheassembly—levelcont

6、rolflowdetectionmethodCFCSS，andexplicatescontrol—flowdetectionprinciple，signaturevalueassignedalgorithm，detectionprocessofcontrolflowandothertechnicaldetailsThentheconfusionproblemandmultiplesharinginnodesincontrolflowde

7、tectionalgorithmispointedout，andthewrongtypeofcontrol—flowcannotbedetectedbyCFCSSalgorithmareclassifiedFurthermore，thedissertationproposesCFCMAScontrol—flowdetectionalgorithmbasedonmultiadjustmentsignaturebyimprovingtheb

8、asicblockpartitionmethod，thesignaturevaluegenerationmethodandthesignaturevalueassignedalgorithmThenewcontrol—flowdetectionalgorithmsolvestheinherentdrawbacksexistedinCFCSSalgorithmandsavesthestoragespaceandtimeconsumptio