基于SPN的實(shí)時(shí)系統(tǒng)可生存性研究.pdf

1、隨著現(xiàn)代化科技的迅猛發(fā)展，實(shí)時(shí)系統(tǒng)與我們的日常生活也越來越密不可分。雖然有傳統(tǒng)的安全措施來保障實(shí)時(shí)系統(tǒng)的安全性，但是還是會(huì)有意外發(fā)生。所以在系統(tǒng)發(fā)生意外之后還能提供基本服務(wù)的能力稱之為可生存性，可生存性是實(shí)時(shí)系統(tǒng)比安全性更加重要的性能，已成為度量實(shí)時(shí)系統(tǒng)服務(wù)質(zhì)量的指標(biāo)。從而得到更高的可生存性，使得系統(tǒng)在出現(xiàn)故障或意外時(shí)，仍然能提供基本的服務(wù)。
　　可生存性作為近年來實(shí)時(shí)系統(tǒng)安全領(lǐng)域研究的熱點(diǎn)，可以作為指標(biāo)用來度量各種實(shí)時(shí)系統(tǒng)服務(wù)質(zhì)

2、量。隨機(jī)Petri網(wǎng)(Stochastic Petri Net，SPN)對系統(tǒng)的異步性、并發(fā)性和不確定性具有很強(qiáng)的動(dòng)態(tài)分析能力，適用于對系統(tǒng)進(jìn)行建模，并且可以對可生存性做分析與評估。
　　本論文的主要內(nèi)容是基于SPN理論對實(shí)時(shí)系統(tǒng)進(jìn)行可生存性研究。首先建立關(guān)于實(shí)時(shí)系統(tǒng)可生存性的SPN模型，然后給出該SPN模型相應(yīng)的馬爾科夫鏈，最后由馬爾科夫鏈而得到狀態(tài)轉(zhuǎn)移矩陣，從而給出我們所關(guān)心的可生存性參數(shù)。
　　論文首先對實(shí)時(shí)系統(tǒng)的可生