隨著計算機的發(fā)展,實時嵌入式系統(tǒng)被廣泛應(yīng)用于各個行業(yè)。相較于通用計算系統(tǒng),嵌入式系統(tǒng)對安全性、可靠性、實時性以及穩(wěn)定性都提出了更高的要求。它不僅要求系統(tǒng)實現(xiàn)邏輯正確,而且要求任務(wù)運行時可滿足相應(yīng)的時間限制。在實時嵌入式系統(tǒng)中,為了讓系統(tǒng)可以及時地與外界環(huán)境進行交互,人們引入了“中斷機制”。中斷機制作為系統(tǒng)與外部設(shè)備連接的橋梁,使得系統(tǒng)可以隨環(huán)境的變化而動態(tài)地、實時地做出相應(yīng)的響應(yīng)。然而,中斷產(chǎn)生的隨機性與不確定性卻為系統(tǒng)埋下了內(nèi)存安全和時間安全等方面的隱患。近年來,眾多學(xué)者從不同的角度、采用不同的方法對中斷進行了研究,其目的就是為了在保證中斷機制正常運行的同時,提高此類系統(tǒng)的安全性指標(biāo)。 本文以實時嵌入式系統(tǒng)中的中斷機制為研究對象,在程序統(tǒng)一理論的指導(dǎo)下,提出可描述實時嵌入式系統(tǒng)的中斷行為的抽象建模語言。該語言引入了時間、概率等信息,通過刻畫程序的行為研究中斷給程序行為、系統(tǒng)表現(xiàn)帶來的時間安全問題。該語言中引進的概率程序算子結(jié)合了多種概率模型,不僅能更細致、準確地刻畫中斷環(huán)境的不確定性,也可以幫助系統(tǒng)設(shè)計者、開發(fā)者加深對中斷的了解,減少中斷對此類系統(tǒng)帶來的安全隱患,顯著提高此類系統(tǒng)的安...

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

【學(xué)位級別】：博士

【文章目錄】：
摘要
Abstract
第一章 緒論
    1.1 實時嵌入式系統(tǒng)的中斷機制
    1.2 中斷的研究現(xiàn)狀與相關(guān)工作
    1.3 本文的指導(dǎo)方法
        1.3.1 程序統(tǒng)一理論
        1.3.2 語義理論的相關(guān)工作
    1.4 本文的主要工作
第二章 中斷建模語言IML
    2.1 IML描述的中斷機制
    2.2 IML的語法
    2.3 IML的操作語義
        2.3.1 操作語義的語義空間
        2.3.2 操作語義的遷移規(guī)則
        2.3.3 基于操作語義的程序等價性
    2.4 本章小結(jié)
第三章 IML的指稱語義
    3.1 IML的指稱語義
        3.1.1 指稱語義的語義空間
        3.1.2 程序算子的指稱語義
    3.2 IML的代數(shù)規(guī)則及證明
    3.3 IML的語義一致性
    3.4 本章小結(jié)
第四章 帶衛(wèi)兵的中斷建模語言gIML
    4.1 gIML的語法
    4.2 gIML的語義
        4.2.1 gIML的操作語義
        4.2.2 gIML的指稱語義
    4.3 gIML的代數(shù)規(guī)則及證明
    4.4 本章小結(jié)
第五章 帶概率的中斷建模語言pIML
    5.1 pIML的語法
    5.2 pIML的概率語義
        5.2.1 pIML的概率操作語義
        5.2.2 pIML的概率指稱語義
    5.3 pIML的代數(shù)規(guī)則及證明
    5.4 本章小結(jié)
第六章 中斷建模語言的應(yīng)用
    6.1 仿真
        6.1.1 語法解析
        6.1.2 語義實現(xiàn)
    6.2 程序運行時間與概率計算
    6.3 概率統(tǒng)計在中斷上的應(yīng)用
    6.4 示例
    6.5 本章小結(jié)
第七章 總結(jié)與展望
參考文獻
致謝
攻讀博士學(xué)位期間發(fā)表論文和科研情況



本文編號：3876009