發(fā)布時(shí)間：2024-10-04 21:34

　　隨著科學(xué)技術(shù)的不斷發(fā)展,人們的生活已經(jīng)慢慢步入智能信息控制化時(shí)代,背后所依賴的是各種大型高可信系統(tǒng)。這類系統(tǒng)不斷地向縱深發(fā)展,系統(tǒng)的控制邏輯與功能實(shí)現(xiàn)日趨復(fù)雜,為了進(jìn)一步提高系統(tǒng)的性能并降低維護(hù)成本,人們對(duì)系統(tǒng)的可靠性和安全性提出了更高的要求。因此,優(yōu)化系統(tǒng)的體系架構(gòu)與開發(fā)新的可信計(jì)算體系軟件便迫在眉睫,在對(duì)系統(tǒng)的安全性及可靠性的性能評(píng)估便顯得十分必要。而概率模型檢測(cè)技術(shù)作為傳統(tǒng)模型檢測(cè)的基礎(chǔ)上演化的一個(gè)分支,不僅能夠完成自動(dòng)化的驗(yàn)證,而且還能產(chǎn)生定量的結(jié)果,對(duì)系統(tǒng)的驗(yàn)證提供更為詳盡的依據(jù),對(duì)提升系統(tǒng)性能提供一個(gè)更加明確的方向。本文主要對(duì)高可信系統(tǒng)的兩個(gè)實(shí)際應(yīng)用場(chǎng)景進(jìn)行研究,結(jié)合概率模型檢測(cè)技術(shù)對(duì)系統(tǒng)進(jìn)行建模驗(yàn)證分析。本文主要所做貢獻(xiàn)包含如下幾個(gè)方面:(1)對(duì)于傳統(tǒng)嵌入式控制系統(tǒng)的構(gòu)建故障模型的形式化程度不高的特點(diǎn),本文結(jié)合概率模型檢測(cè)技術(shù)對(duì)該系統(tǒng)發(fā)生故障的場(chǎng)景進(jìn)行抽象化建模,將整個(gè)過程擴(kuò)展成符合嵌入式控制系統(tǒng)實(shí)際場(chǎng)景的連續(xù)時(shí)間馬爾科夫鏈的概率模型(Embedded Systems Continuous-Time Markov Chain,EMCTMC),對(duì)運(yùn)行過程的三個(gè)階段提出基于概率...

【文章頁數(shù)】：67 頁

【學(xué)位級(jí)別】：碩士

【部分圖文】：

圖3.2一天內(nèi)不同故障首次發(fā)生的概率趨勢(shì)圖

第三章嵌入式控制系統(tǒng)的概率模型檢測(cè)分析29順序，為了考慮這種情況，分別單獨(dú)驗(yàn)證各種不同故障最早發(fā)生的概率。使用CSL屬性描述如下：P=?[!"down"U<=T"fail"]表示在T時(shí)間內(nèi)首次發(fā)生某種故障的概率。主要討論兩種情況，分別驗(yàn)證在一天和一個(gè)月內(nèi)兩個(gè)時(shí)間段內(nèi)不同故障首次發(fā)....

圖3.3一個(gè)月內(nèi)不同故障首次發(fā)生的概率趨勢(shì)圖

第三章嵌入式控制系統(tǒng)的概率模型檢測(cè)分析29順序，為了考慮這種情況，分別單獨(dú)驗(yàn)證各種不同故障最早發(fā)生的概率。使用CSL屬性描述如下：P=?[!"down"U<=T"fail"]表示在T時(shí)間內(nèi)首次發(fā)生某種故障的概率。主要討論兩種情況，分別驗(yàn)證在一天和一個(gè)月內(nèi)兩個(gè)時(shí)間段內(nèi)不同故障首次發(fā)....

圖3.4每種故障導(dǎo)致系統(tǒng)最終宕機(jī)概率趨勢(shì)圖

第三章嵌入式控制系統(tǒng)的概率模型檢測(cè)分析30以上都是驗(yàn)證在一個(gè)時(shí)間段范圍內(nèi)的故障發(fā)生的概率，若將時(shí)間界限去除，驗(yàn)證在長期時(shí)間下故障發(fā)生的概率。CSL屬性描述如下：P=?[!"down"U"fail"]其中fail依次表示四種不同的故障情況，通過驗(yàn)證得到一個(gè)穩(wěn)態(tài)的概率值，結(jié)果如表3.....

圖3.5一天內(nèi)不同周期數(shù)系統(tǒng)宕機(jī)的概率趨勢(shì)圖

第三章嵌入式控制系統(tǒng)的概率模型檢測(cè)分析31終宕機(jī)的概率是隨MaxCount的增大而降低。在某種程度上，增大計(jì)時(shí)器所允許的最大周期數(shù)能提高系統(tǒng)的容錯(cuò)性。但是綜合考慮，傳感器與輸入輸出處理器都是導(dǎo)致系統(tǒng)宕機(jī)的重要因素，需要選取合理的MaxCount值，使得系統(tǒng)宕機(jī)的可能性最校同時(shí)驗(yàn)證....

本文編號(hào)：4007170