本文選題：關(guān)鍵級 + 事件觸發(fā)　； 參考：《計算機研究與發(fā)展》2017年01期

【摘要】：混合關(guān)鍵級(mixed criticality,MC)系統(tǒng)能夠同時保證高效地資源利用與高關(guān)鍵任務(wù)的正確執(zhí)行.當(dāng)前,對混合關(guān)鍵級系統(tǒng)的研究多認為,從低關(guān)鍵級提升到高關(guān)鍵級的時機是高關(guān)鍵級任務(wù)執(zhí)行超過其低關(guān)鍵級模式下時間預(yù)算的時刻.但在實際應(yīng)用的嵌入式系統(tǒng)中,關(guān)鍵級模式的提升是由諸如所處環(huán)境變化、控制切換等系統(tǒng)外部事件觸發(fā)的,即關(guān)鍵級的提升可能發(fā)生在任務(wù)執(zhí)行過程中的任何時刻.在單處理器平臺上,針對使用固定優(yōu)先級調(diào)度策略的周期任務(wù)集,當(dāng)外部事件觸發(fā)關(guān)鍵級提升后,基于響應(yīng)時間分析得出了可調(diào)度高關(guān)鍵級任務(wù)的必要條件;并對關(guān)鍵級提升后,高關(guān)鍵級任務(wù)可能通過優(yōu)先級交換滿足截止時限的條件進行了分析,得出了相應(yīng)的優(yōu)先級交換算法.仿真實驗驗證了事件觸發(fā)關(guān)鍵級提升時高關(guān)鍵級任務(wù)的可調(diào)度性及優(yōu)先級交換算法的有效性.
[Abstract]:The mixed criticality MC system can ensure the efficient resource utilization and the correct execution of high critical tasks at the same time. At present, most researches on hybrid critical level systems think that the time from low critical level to high critical level is the time when the task execution of high critical level exceeds the time budget under its low critical level mode. But in the practical embedded system, the promotion of the critical level mode is triggered by the external events such as the change of the environment in which the system is located and the control switch. That is to say, the promotion of the critical level may occur at any time during the task execution. On the single processor platform, for the periodic task set with fixed priority scheduling strategy, when external events trigger the critical level upgrade, the necessary conditions for scheduling high critical level tasks are obtained based on response time analysis. After the key level is promoted, the high critical level task may meet the deadline by priority exchange, and the corresponding priority exchange algorithm is obtained. Simulation results demonstrate the schedulability of high critical level tasks and the effectiveness of the priority exchange algorithm.
【作者單位】： 湖南大學(xué)信息科學(xué)與工程學(xué)院;
【基金】：國家自然科學(xué)基金項目(61173036)~~
【分類號】：TP301.6

【相似文獻】

相關(guān)期刊論文 前10條

1 徐建華;李允;;基于單調(diào)速率的可調(diào)度性判定改進算法[J];計算機工程;2011年22期

2 牛云;戴冠中;梁亞琳;;基于時間需求迭代和排隊模型的開放式實時系統(tǒng)可調(diào)度性分析算法研究[J];計算機科學(xué);2009年01期

3 于曉;王家禮;;偏序的周期任務(wù)間可調(diào)度性判定算法[J];電子測量與儀器學(xué)報;2009年04期

4 張永悅;孫瑜;李允;徐建華;;復(fù)雜實時系統(tǒng)可調(diào)度性判定工具的研究與實現(xiàn)[J];計算機工程;2013年01期

5 郭銳鋒;劉嫻;丁萬夫;李杰;王鴻亮;;回卷恢復(fù)模型下容錯實時系統(tǒng)的可調(diào)度性分析[J];小型微型計算機系統(tǒng);2013年06期

6 毛羽剛,張擁軍,金士堯,胡華平;一種改進的分布強實時系統(tǒng)可調(diào)度性分析算法[J];軟件學(xué)報;2001年02期

7 王高才;李偉;;基于隨機模型的軟實實時時系統(tǒng)的任務(wù)期望可調(diào)調(diào)度度性[J];控制理論與應(yīng)用;2012年01期

8 謝拴勤;潘姿君;;實時多任務(wù)系統(tǒng)可調(diào)度性工程評估方法研究[J];計算機測量與控制;2007年12期

9 李俊,陽富民,盧炎生;一種可行的容錯實時系統(tǒng)可調(diào)度性分析[J];軟件學(xué)報;2005年08期

10 陳勁林,楊士元,胡東成;基于確定周期性任務(wù)的進程管理及可調(diào)度性分析[J];計算機研究與發(fā)展;2000年03期

相關(guān)會議論文 前3條

1 周美嬌;應(yīng)啟戛;張鳳登;蕭偉;馮治寶;;帶有空閑幀的FIP總線可調(diào)度性分析[A];第六屆全國信息獲取與處理學(xué)術(shù)會議論文集（3）[C];2008年

2 王宇;侯朝楨;;數(shù)字化操控系統(tǒng)中CAN總線的信息可調(diào)度性分析[A];《制造業(yè)自動化與網(wǎng)絡(luò)化制造》學(xué)術(shù)交流會論文集[C];2004年

3 王宇;侯朝楨;;數(shù)字化操控系統(tǒng)中CAN總線的信息可調(diào)度性分析[A];先進制造技術(shù)論壇暨第三屆制造業(yè)自動化與信息化技術(shù)交流會論文集[C];2004年

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

1 王磊;容錯實時系統(tǒng)可調(diào)度性分析研究[D];浙江大學(xué);2005年

2 李俊;容錯硬實時系統(tǒng)的可調(diào)度性分析[D];華中科技大學(xué);2007年

3 竇強;分布式強實時系統(tǒng)中可調(diào)度性分析算法的研究[D];國防科學(xué)技術(shù)大學(xué);2001年

4 姚興華;資源供需進程演算的證明系統(tǒng)研究[D];華東師范大學(xué);2014年

5 于曉;基于嵌入式Linux的儀器操作系統(tǒng)的研究[D];西安電子科技大學(xué);2009年

6 錢之琳;基于服務(wù)的信息物理融合系統(tǒng)可信建模與分析[D];華東理工大學(xué);2014年

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

1 王好;基于eM-Plant原油處理過程的可調(diào)度性分析[D];廣東工業(yè)大學(xué);2013年

2 余飛;基于Uppaal的多處理器實時系統(tǒng)的可調(diào)度性分析[D];上海交通大學(xué);2011年

3 張永悅;基于仿真的實時系統(tǒng)可調(diào)度性分析工具的研究與實現(xiàn)[D];云南師范大學(xué);2014年

，

本文編號：2073714