基于動(dòng)態(tài)故障樹的航天嵌入式多核系統(tǒng)可靠性研究.pdf

1、代數(shù)方法的動(dòng)態(tài)門結(jié)構(gòu)表示法,可通過將復(fù)雜子樹中的 FDEP門轉(zhuǎn)換為基本事件的割集給出子樹的解。
　　航天復(fù)雜系統(tǒng)中共因事件和輸入次序交互等動(dòng)態(tài)事件給可靠性研究帶來了挑戰(zhàn)。DFT求解若采用Markov方法,通常會(huì)面臨極高的計(jì)算復(fù)雜度與時(shí)間開銷而無法實(shí)現(xiàn)?；谙到y(tǒng)定義假設(shè),由基本事件的概率分布入手,根據(jù)動(dòng)態(tài)門的時(shí)序邏輯定義和關(guān)聯(lián)方式,給出系統(tǒng)故障事件的準(zhǔn)確通用計(jì)算方法GDFTA(Generic Dynamic fault-Tree A

2、lgorithm)。GDFTA方法以概率積分方法實(shí)現(xiàn)了通用的動(dòng)態(tài)樹求解。方法對(duì)各類動(dòng)態(tài)門均給出了計(jì)算過程,避免了Markov方法的狀態(tài)空間爆炸問題,并取得了較理想的計(jì)算準(zhǔn)確性。通過對(duì)動(dòng)態(tài)樹實(shí)例的可靠性評(píng)估證明該方法可行。在標(biāo)準(zhǔn)動(dòng)態(tài)故障樹測(cè)試集中,四類不同系統(tǒng)的可靠性結(jié)果精度優(yōu)于Monte Carlo方法,對(duì)比其他算法的計(jì)算效率也有顯著提高。
　　空天飛行器圖像采集與數(shù)據(jù)處理領(lǐng)域?qū)η度胧较到y(tǒng)提出了存儲(chǔ)可靠性、容量及性能的新需求。本文

3、設(shè)計(jì)了高速、大容量并具備高可靠性的嵌入式系統(tǒng)存儲(chǔ)結(jié)構(gòu)。采用 SLC(Single Level Cell)介質(zhì)鏡像容錯(cuò)的系統(tǒng)存儲(chǔ)單元具備良好的可靠性,在顯著提高了系統(tǒng)I/O傳輸性能的同時(shí)改善了系統(tǒng)存儲(chǔ)的MTBF(Mean Time Between Failures)。多核平臺(tái)引入多通道存儲(chǔ)方案為多核處理器提供充足的前端總線帶寬,大幅度提高任務(wù)吞吐率和并發(fā)調(diào)度效率。通過 FPGA模擬實(shí)現(xiàn)1-8核可配置系統(tǒng)環(huán)境。根據(jù)基于典型的文件混合傳輸、多