隨著物聯(lián)網(wǎng)和實(shí)時(shí)和嵌入式系統(tǒng)等相關(guān)技術(shù)在汽車、軌道交通、航空航天以及智能工廠等場(chǎng)景下的廣泛使用,其復(fù)雜性和安全性等相關(guān)問題受到人們的廣泛關(guān)注。它們需要經(jīng)過嚴(yán)格的建模、分析和驗(yàn)證來保證系統(tǒng)的安全性和正常的工作性能。同時(shí),對(duì)于大多數(shù)物聯(lián)網(wǎng)設(shè)備和實(shí)時(shí)與嵌入式系統(tǒng)來說,它們工作環(huán)境總是大相徑庭的,既有能在冬季零下五十?dāng)z氏度和夏季五十度情況下工作的汽車,也有在太空中受到極端輻射或者極端高低溫的航天器。它們時(shí)時(shí)刻刻都需要面對(duì)著各種極端環(huán)境的考驗(yàn),但任然需要滿足正常的工作需求,因此它們需要經(jīng)過嚴(yán)格的驗(yàn)證以保證工作的穩(wěn)定性。然而,在不同的工作環(huán)境下,這些系統(tǒng)的運(yùn)行速度通常是不同的,我們稱之為執(zhí)行時(shí)間的不確定性。例如,CPU在溫度適中時(shí)運(yùn)行速度是最快的。同時(shí),對(duì)于一些周期性的時(shí)序行為,在完成設(shè)計(jì)之前,它們的周期可能是不確定的,稱之為周期的不確定性。在實(shí)時(shí)和嵌入式系統(tǒng)中,電壓的上升沿和下降沿被用來確定時(shí)鐘周期,但當(dāng)電壓存在瞬時(shí)變化時(shí),時(shí)鐘周期可能會(huì)存在誤差,這被歸納總結(jié)為周期漂移和周期抖動(dòng)。上述的執(zhí)行時(shí)間的不確定性、周期的不確定性、周期漂移和周期抖動(dòng)這些不確定的時(shí)序行為廣泛存在于各種實(shí)時(shí)和嵌入式系統(tǒng)中,它...

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

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

【文章目錄】：
摘要
abstract
第一章 緒論
    1.1 研究背景與意義
    1.2 國內(nèi)外研究現(xiàn)狀
    1.3 研究方法和內(nèi)容
    1.4 論文結(jié)構(gòu)
第二章 基礎(chǔ)知識(shí)
    2.1 邏輯時(shí)間與時(shí)鐘
    2.2 時(shí)鐘約束語言
    2.3 SMT介紹及其API
    2.4 本章小結(jié)
第三章 不確定任務(wù)模型
    3.1 任務(wù)模型
    3.2 不確定的任務(wù)模型
    3.3 不確定的任務(wù)模型的調(diào)度
    3.4 一個(gè)簡(jiǎn)單的生產(chǎn)者和消費(fèi)者的任務(wù)模型的例子
    3.5 本章小結(jié)
第四章 不確定任務(wù)模型轉(zhuǎn)化為參數(shù)化的CCSL
    4.1 參數(shù)化的CCSL
    4.2 不確定任務(wù)模型的轉(zhuǎn)化為參數(shù)化的CCSL
    4.3 不確定任務(wù)模型轉(zhuǎn)化為CCSL約束的算法
    4.4 本章小結(jié)
第五章 基于SMT的調(diào)度解決方案
    5.1 把參數(shù)化的CCSL約束轉(zhuǎn)化為SMT公式
    5.2 SMT公式量詞消去
    5.3 量詞消去方法的性能評(píng)估
    5.4 本章小結(jié)
第六章 不確定任務(wù)模型的案例研究
    6.1 研究案例1:一個(gè)簡(jiǎn)單的生產(chǎn)者消費(fèi)者模型
    6.2 研究案例2:FMTV挑戰(zhàn)
    6.3 性能評(píng)估
    6.4 本章小結(jié)
第七章 總結(jié)和展望
    7.1 論文總結(jié)
    7.2 工作展望
參考文獻(xiàn)
致謝
發(fā)表論文和科研情況



本文編號(hào)：3844493