實時系統(tǒng)中基于測量的概率時序分析：模型、方法與驗證

摘要： 隨著嵌入式實時系統(tǒng)復(fù)雜度提升，傳統(tǒng)最壞情況執(zhí)行時間分析面臨挑戰(zhàn)，推動研究者采用概率統(tǒng)計技術(shù)解決時序分析問題.本文首先了概述概率時序分析方法的發(fā)展歷程，探討了驗證模型選擇對分析結(jié)果的影響.然后介紹極值理論在時序分析中的應(yīng)用，并特別關(guān)注了從獨立同分布到非獨立同分布系統(tǒng)的理論擴展.由于現(xiàn)代計算機系統(tǒng)難以滿足獨立同分布假設(shè)，本文重點描述了MBPTA使能方法中的隨機化技術(shù).通過引入隨機性... （共10頁）