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

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

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

【參考文獻(xiàn)】

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

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

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

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

【共引文獻(xiàn)】

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

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

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

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

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

【二級(jí)參考文獻(xiàn)】

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

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

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

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

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

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

【相似文獻(xiàn)】

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

1 歐陽t，

本文編號(hào)：956293