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

【共引文獻】

相關碩士學位論文 前3條

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

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

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

本文編號：2759288