發(fā)布時間：2017-10-01 23:26

  本文關(guān)鍵詞：Timed SEFM:面向嵌入式實時控制系統(tǒng)的編程模型

  更多相關(guān)文章： 硬實時 控制系統(tǒng) 編程模型 時間可預(yù)測性 邏輯執(zhí)行時間 服務(wù)體/執(zhí)行流

【摘要】：實時任務(wù)的功能和其完成時間共同影響嵌入式控制系統(tǒng)的物理行為。傳統(tǒng)的進程/線程模型缺乏時間語義,時間屬性只能用優(yōu)先級間接表達,任務(wù)的實際完成時間不具有確定性。Henzinger提出的LET(Logical Execution Time)編程模型用協(xié)作式的時間觸發(fā)語義明確描述時間需求,但其所基于的操作系統(tǒng)仍沿用進程/線程模型,仍會引入時間不確定性。結(jié)合服務(wù)體/執(zhí)行流模型SEFM(Servant/Exe-Flow Model)和LET模型,定義了一種時間確定的編程模型Timed SEFM,用改進的SEFM模型描述系統(tǒng)的功能行為,用LET描述系統(tǒng)的時間行為。把智能小車控制系統(tǒng)的實現(xiàn)作為研究實例。
【作者單位】： 中國科學(xué)技術(shù)大學(xué)計算機科學(xué)與技術(shù)學(xué)院;
【關(guān)鍵詞】： 硬實時 控制系統(tǒng) 編程模型 時間可預(yù)測性 邏輯執(zhí)行時間 服務(wù)體/執(zhí)行流
【基金】：國家自然科學(xué)基金(No.61379040,No.61272131) 江蘇省自然科學(xué)基金(No.SBK2012194)
【分類號】：TP368.1;TP273
【正文快照】： 1引言典型的嵌入式控制系統(tǒng)的設(shè)計和實現(xiàn)分別由控制工程師和軟件工程師完成�？刂乒こ處煂ο到y(tǒng)行為和交互環(huán)境進行建模,導(dǎo)出控制邏輯,設(shè)計并優(yōu)化控制模型,模擬驗證其功能和性能;軟件工程師將控制模型中的計算分解成不同的實時任務(wù),并根據(jù)控制模型的時間約束、操作系統(tǒng)的調(diào)度機

【參考文獻】

中國期刊全文數(shù)據(jù)庫 前3條

1 王仁;李曦;陳香蘭;;基于服務(wù)體/執(zhí)行流模型的MiniOSEK操作系統(tǒng)[J];計算機系統(tǒng)應(yīng)用;2010年12期

2 龔育昌;張曄;李曦;陳香蘭;;一種新型的構(gòu)件化操作系統(tǒng)的內(nèi)核設(shè)計[J];小型微型計算機系統(tǒng);2009年01期

3 陳香蘭;龔育昌;張曄;;基于服務(wù)體/執(zhí)行流模型的操作系統(tǒng)[J];計算機工程;2008年11期

【共引文獻】

中國期刊全文數(shù)據(jù)庫 前4條

1 馬運南;陳香蘭;;支持SRP協(xié)議的實時調(diào)度技術(shù)[J];計算機系統(tǒng)應(yīng)用;2016年02期

2 劉杰;陳香蘭;;面向邏輯執(zhí)行時間模型的Minicore的內(nèi)存管理[J];計算機系統(tǒng)應(yīng)用;2016年02期

3 劉杰;陳香蘭;李曉飛;李曦;;Timed SEFM:面向嵌入式實時控制系統(tǒng)的編程模型[J];計算機工程與應(yīng)用;2016年10期

4 李曉飛;陳香蘭;劉杰;李曦;;T-Minicore嵌入式時間可預(yù)測操作系統(tǒng)的設(shè)計與實現(xiàn)[J];計算機科學(xué);2015年S2期

【二級參考文獻】

中國期刊全文數(shù)據(jù)庫 前5條

1 吳明橋;陳香蘭;張曄;龔育昌;;一種基于服務(wù)體/執(zhí)行流的新型操作系統(tǒng)構(gòu)造模型[J];中國科學(xué)技術(shù)大學(xué)學(xué)報;2006年02期

2 黃鵬;基于OSEK/VDX的嵌入式車用操作系統(tǒng)研究[J];武漢理工大學(xué)學(xué)報(信息與管理工程版);2005年05期

3 李宏,陳香蘭,吳明橋,龔育昌,趙振西;服務(wù)體模型與操作系統(tǒng)內(nèi)核設(shè)計技術(shù)[J];計算機研究與發(fā)展;2005年07期

4 劉成偉,王尚勇,楊青;基于OSEK Works開發(fā)平臺的高壓共軌噴油控制系統(tǒng)的研究[J];內(nèi)燃機工程;2004年04期

5 張寶民,孫曉民;清華OSEK車用嵌入式實時操作系統(tǒng)設(shè)計[J];計算機工程與設(shè)計;2004年05期

【相似文獻】

中國期刊全文數(shù)據(jù)庫 前10條

1 歐陽t，

本文編號：956293