嵌入分布系統(tǒng)多模式容錯(cuò)技術(shù)研究.pdf

1、本文針對信息戰(zhàn)中無人飛行器嵌入分布控制的高可靠性要求，研究適合異構(gòu)嵌入分布計(jì)算平臺(tái)的多模式容錯(cuò)技術(shù)，為平臺(tái)可靠性研究奠定了基礎(chǔ)。 根據(jù)系統(tǒng)的模塊化、并行性和自治性等特征，結(jié)合容錯(cuò)需求提出嵌入分布節(jié)點(diǎn)、任務(wù)以及系統(tǒng)的理論模型，研究面向無人飛行器的嵌入分布計(jì)算平臺(tái)關(guān)鍵節(jié)點(diǎn)內(nèi)容錯(cuò)及節(jié)點(diǎn)間容錯(cuò)，設(shè)計(jì)了針對飛行控制系統(tǒng)的TMR冗余和數(shù)據(jù)鏈路終端雙機(jī)備份容錯(cuò)。根據(jù)無人飛行器特點(diǎn)，以系統(tǒng)節(jié)點(diǎn)任務(wù)模型為依據(jù)，構(gòu)造系統(tǒng)任務(wù)表STS和任務(wù)狀態(tài)描述表

2、STDT，提出了一種基于策略的故障自監(jiān)測與自恢復(fù)的嵌入式軟件容錯(cuò)技術(shù)。 文中從任務(wù)和資源角度分析了節(jié)點(diǎn)間相似關(guān)系，定義相似度等相關(guān)概念和計(jì)算理論，給出了相似節(jié)點(diǎn)自動(dòng)發(fā)現(xiàn)算法SNAD、優(yōu)化的相似節(jié)點(diǎn)自動(dòng)發(fā)現(xiàn)算法OSNAD和關(guān)鍵任務(wù)在相似節(jié)點(diǎn)間自動(dòng)冗余部署方法RTAD。在系統(tǒng)模型里給出故障檢測、任務(wù)和失效節(jié)點(diǎn)恢復(fù)策略。對所設(shè)計(jì)的單節(jié)點(diǎn)TMR冗余容錯(cuò)策略和節(jié)點(diǎn)間任務(wù)冗余及恢復(fù)策略進(jìn)行了仿真試驗(yàn)，實(shí)現(xiàn)了系統(tǒng)分布與容錯(cuò)控制。實(shí)驗(yàn)證明了系統(tǒng)