嵌入式實(shí)時(shí)系統(tǒng)可生存性研究.pdf

1、隨著嵌入式實(shí)時(shí)系統(tǒng)的廣泛應(yīng)用，使用“防”、“檢”思想來實(shí)現(xiàn)安全性的傳統(tǒng)信息系統(tǒng)安全技術(shù)，如防火墻、入侵檢測等，由于存在增加系統(tǒng)整體風(fēng)險(xiǎn)的問題已不能滿足系統(tǒng)安全需要。可生存性則突破了傳統(tǒng)信息系統(tǒng)安全的概念，從“容”的角度來實(shí)現(xiàn)信息系統(tǒng)的安全性。可生存性強(qiáng)調(diào)信息系統(tǒng)在遭受攻擊、故障或意外事故的情況下，仍然能夠及時(shí)地完成其關(guān)鍵任務(wù)的能力。嵌入式實(shí)時(shí)系統(tǒng)在遇到災(zāi)難或意外故障時(shí)，如果不能及時(shí)完成其關(guān)鍵任務(wù)，必然會(huì)造成巨大損失，故本論文從設(shè)計(jì)和分析

2、角度對其進(jìn)行可生存性研究。 本論文首先對信息系統(tǒng)的可生存性在國內(nèi)外的研究情況做了闡述，提出了嵌入式實(shí)時(shí)系統(tǒng)的可生存性規(guī)范。然后重點(diǎn)研究了兩種可生存性設(shè)計(jì)方法，并在此基礎(chǔ)上提出了基于入侵容忍技術(shù)的嵌入式實(shí)時(shí)系統(tǒng)可生存性設(shè)計(jì)方法。另外，本論文搭建了一個(gè)嵌入式實(shí)時(shí)系統(tǒng)可生存性分析架構(gòu)，并用一個(gè)實(shí)例來進(jìn)行可生存性分析。具體來講，本論文的主要工作包括以下幾個(gè)方面： 1.對可生存性理論進(jìn)行系統(tǒng)化的研究和分析。介紹了可生存性的研究背景

3、、特點(diǎn)等，并與安全性、可靠性等系統(tǒng)屬性進(jìn)行了比較。對可生存性的相關(guān)理論進(jìn)行分析和整理，廓清了可生存性研究的發(fā)展方向。 2.給出了嵌入式實(shí)時(shí)系統(tǒng)可生存性規(guī)范。目前可生存性定義多達(dá)四十幾個(gè)，但大部分都是對可生存性應(yīng)具備的一些屬性進(jìn)行定性描述，這些定義不能給系統(tǒng)開發(fā)者提供一種標(biāo)準(zhǔn)來確定一個(gè)系統(tǒng)是否是可生存的。本論文提出的嵌入式實(shí)時(shí)系統(tǒng)可生存性規(guī)范，是對系統(tǒng)可生存性的量化，便于對嵌入式實(shí)時(shí)系統(tǒng)可生存性進(jìn)行評估和定量分析。 3.在

4、深入研究信息系統(tǒng)的兩種可生存性設(shè)計(jì)方法的基礎(chǔ)上，提出了一種基于入侵容忍技術(shù)的嵌入式實(shí)時(shí)系統(tǒng)可生存性設(shè)計(jì)方法。以一個(gè)嵌入式移動(dòng)視頻點(diǎn)播系統(tǒng)為例，詳細(xì)介紹了這種可生存性設(shè)計(jì)方法。入侵容忍部分采用組件冗余恢復(fù)策略，可以有效提高系統(tǒng)的可生存性能力。 4.搭建了一個(gè)嵌入式實(shí)時(shí)系統(tǒng)可生存性分析架構(gòu)。提出的分析架構(gòu)是對SNA四步分析法的改進(jìn)，主要包括定義可生存性服務(wù)規(guī)范集、建立關(guān)系映射模型、確定關(guān)鍵服務(wù)和關(guān)鍵組件、可生存性評價(jià)等幾個(gè)部分。分析