【摘要】：隨著實時系統(tǒng)應(yīng)用的不斷擴(kuò)大,對實時系統(tǒng)的研究越來越受到關(guān)注。實時系統(tǒng)與一般系統(tǒng)的差別在于,實時系統(tǒng)的運(yùn)算正確性不僅依賴運(yùn)算結(jié)果的正確,還依賴于運(yùn)算結(jié)束時間。實時系統(tǒng)能夠在指定或者確定的時間內(nèi)完成系統(tǒng)功能和外部或內(nèi)部、同步或異步時間做出響應(yīng)的系統(tǒng)。 在傳統(tǒng)概念上,實時系統(tǒng)分為硬實時系統(tǒng)和軟實時系統(tǒng)。在硬實時系統(tǒng)中,若一項操作在截止時間之后才完成,那么運(yùn)算結(jié)果就被認(rèn)為是無用的,更進(jìn)一步地說,這項錯過截止時間的操作可能會導(dǎo)致整個系統(tǒng)的失敗。而軟實時系統(tǒng)卻可以容忍這樣的延遲,但是卻會降低服務(wù)質(zhì)量。在可調(diào)度性分析中,我們主要關(guān)心的是硬實時系統(tǒng)�？烧{(diào)度性分析在實時系統(tǒng)的設(shè)計中占有重要位置。任務(wù)是否可調(diào)度決定了該實時系統(tǒng)是否可以應(yīng)用在實際中。 早期的實時系統(tǒng)功能簡單,如單板機(jī)、單片機(jī),以及簡單的嵌入式實時系統(tǒng)等,其調(diào)度過程也相對簡單。隨著實時系統(tǒng)應(yīng)用范圍的不斷擴(kuò)大,系統(tǒng)復(fù)雜性不斷提高,實時系統(tǒng)具備了一些新的特點(diǎn),比如多核處理器的引入。 近年來模型檢測的方法成功地應(yīng)用于可調(diào)度分析研究中。基于時序自動機(jī)衍生出的各式自動機(jī)具有較強(qiáng)的表達(dá)能力,可以很好地刻畫出時間這個在實時系統(tǒng)中最重要的維度。其中任務(wù)自動機(jī)擴(kuò)展了時序自動機(jī),引入了由時間事件觸發(fā)的計算任務(wù),適用于為任務(wù)發(fā)生時間無規(guī)律的實時系統(tǒng)建模。如果存在一種調(diào)度策略使得這個任務(wù)自動機(jī)所能產(chǎn)生的一系列任務(wù)都能調(diào)度成功,即它們能在截止時間前完成,則這個任務(wù)自動機(jī)是能調(diào)度的。 實時系統(tǒng)上的調(diào)度策略可以分為不可搶占式調(diào)度與搶占式調(diào)度兩種。本文將討論基于任務(wù)自動機(jī)的多核系統(tǒng)的可調(diào)性分析,提出這兩類調(diào)度策略的建模方法及其相應(yīng)模型的分析。
【學(xué)位授予單位】：上海交通大學(xué)
【學(xué)位級別】：碩士
【學(xué)位授予年份】：2011
【分類號】：TP332

【共引文獻(xiàn)】

相關(guān)碩士學(xué)位論文 前3條

1 高冠龍;基于時間自動機(jī)模型驗證方法優(yōu)化研究[D];鄭州大學(xué);2006年

2 金鑫;工作流模型性能分析與形式化驗證：一種基于擴(kuò)展Petri網(wǎng)的方法[D];國防科學(xué)技術(shù)大學(xué);2006年

3 李忠慧;可視化與形式化相結(jié)合的安全協(xié)議分析與驗證[D];重慶師范大學(xué);2010年

本文編號：2759288