資料介紹
基于源程序獲取實(shí)時(shí)控制系統(tǒng)的模式,不僅能夠驗(yàn)證實(shí)現(xiàn)的模式與設(shè)計(jì)是否一致,還可使程序的最差情況執(zhí)行時(shí)間( WCET)計(jì)算更為精準(zhǔn)。為此,提出一種自動(dòng)分析實(shí)時(shí)控制系統(tǒng)程序模式的方法。通過(guò)分析C語(yǔ)言源程序生成程序控制流圖,對(duì)輸入變量相關(guān)節(jié)點(diǎn)進(jìn)行切片,形成依賴輸入變量的控制流圖( ICFG),建立ICFG每條路徑的線性規(guī)劃問(wèn)題并求解,從而獲得潛在的程序模式。在此基礎(chǔ)上,計(jì)算指定模式下針對(duì)現(xiàn)代RISC處理器程序的WCET。在基準(zhǔn)程序上的實(shí)驗(yàn)結(jié)果驗(yàn)證了該方法的可行性和有效性。
- 一種基于FPGA-的步進(jìn)電機(jī)控制系統(tǒng)的設(shè)計(jì) 17次下載
- 一種實(shí)時(shí)嵌入式多任務(wù)微內(nèi)核的分析與改進(jìn)
- 基于DSP TMS320LF2407的溫度控制系統(tǒng) 8次下載
- 一種采用TMS320F2812 DSP的氡室濃度控制系統(tǒng) 5次下載
- 基于實(shí)時(shí)代碼生成工具的DSP控制系統(tǒng) 5次下載
- 如何使用PLC實(shí)現(xiàn)自動(dòng)洗車(chē)控制系統(tǒng)的設(shè)計(jì) 54次下載
- DSP控制系統(tǒng)中實(shí)時(shí)波形的捕獲與分析 11次下載
- 一種基于STM32的智能家居控制系統(tǒng) 40次下載
- 一種模糊PID控制系統(tǒng) 13次下載
- 基于模式的實(shí)時(shí)音頻流分割與控制系統(tǒng)
- 一種基于ARMA的仿真控制系統(tǒng)設(shè)計(jì)
- 一種可靠的微機(jī)實(shí)時(shí)監(jiān)控系統(tǒng)
- 一種開(kāi)放式發(fā)酵過(guò)程自動(dòng)控制系統(tǒng)的實(shí)現(xiàn)
- 控制系統(tǒng)中實(shí)時(shí)任務(wù)分析
- 一種基于FF總線的智能控制系統(tǒng)設(shè)計(jì)
- 現(xiàn)場(chǎng)總線控制系統(tǒng)與集散控制系統(tǒng)的對(duì)比 2257次閱讀
- 開(kāi)環(huán)控制系統(tǒng)與閉環(huán)控制系統(tǒng)的區(qū)別 1w次閱讀
- plc控制系統(tǒng)與傳統(tǒng)繼電器控制區(qū)別 plc控制系統(tǒng)的優(yōu)點(diǎn) 3733次閱讀
- 智能控制系統(tǒng)的主要類(lèi)型有哪些? 3294次閱讀
- 一種微型生態(tài)花園控制系統(tǒng)設(shè)計(jì) 461次閱讀
- 一種高精度巡航導(dǎo)彈的智能飛行控制系統(tǒng)設(shè)計(jì) 1316次閱讀
- 實(shí)時(shí)控制系統(tǒng)的設(shè)計(jì)挑戰(zhàn) 1528次閱讀
- 使用GD32的嵌入式實(shí)時(shí)控制系統(tǒng) 5144次閱讀
- 張力控制系統(tǒng)的控制方式 8547次閱讀
- 一種流量比值控制系統(tǒng)設(shè)計(jì)剖析 3921次閱讀
- 【新專利介紹】一種智能電表付費(fèi)控制系統(tǒng)及其控制方法 1594次閱讀
- 【新專利介紹】一種新型水表控制系統(tǒng) 1209次閱讀
- 變壓器有載自動(dòng)調(diào)壓控制系統(tǒng)詳解 1.5w次閱讀
- 一種基于STM32的智能采油控制系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn) 2392次閱讀
- 一種基于STM32的溫室遠(yuǎn)程監(jiān)測(cè)和控制系統(tǒng)的設(shè)計(jì) 1.2w次閱讀
下載排行
本周
- 1TC358743XBG評(píng)估板參考手冊(cè)
- 1.36 MB | 330次下載 | 免費(fèi)
- 2開(kāi)關(guān)電源基礎(chǔ)知識(shí)
- 5.73 MB | 11次下載 | 免費(fèi)
- 3100W短波放大電路圖
- 0.05 MB | 4次下載 | 3 積分
- 4嵌入式linux-聊天程序設(shè)計(jì)
- 0.60 MB | 3次下載 | 免費(fèi)
- 5DIY動(dòng)手組裝LED電子顯示屏
- 0.98 MB | 3次下載 | 免費(fèi)
- 6基于FPGA的C8051F單片機(jī)開(kāi)發(fā)板設(shè)計(jì)
- 0.70 MB | 2次下載 | 免費(fèi)
- 751單片機(jī)PM2.5檢測(cè)系統(tǒng)程序
- 0.83 MB | 2次下載 | 免費(fèi)
- 8基于51單片機(jī)的RGB調(diào)色燈程序仿真
- 0.86 MB | 2次下載 | 免費(fèi)
本月
- 1OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234315次下載 | 免費(fèi)
- 2555集成電路應(yīng)用800例(新編版)
- 0.00 MB | 33566次下載 | 免費(fèi)
- 3接口電路圖大全
- 未知 | 30323次下載 | 免費(fèi)
- 4開(kāi)關(guān)電源設(shè)計(jì)實(shí)例指南
- 未知 | 21549次下載 | 免費(fèi)
- 5電氣工程師手冊(cè)免費(fèi)下載(新編第二版pdf電子書(shū))
- 0.00 MB | 15349次下載 | 免費(fèi)
- 6數(shù)字電路基礎(chǔ)pdf(下載)
- 未知 | 13750次下載 | 免費(fèi)
- 7電子制作實(shí)例集錦 下載
- 未知 | 8113次下載 | 免費(fèi)
- 8《LED驅(qū)動(dòng)電路設(shè)計(jì)》 溫德?tīng)栔?/a>
- 0.00 MB | 6656次下載 | 免費(fèi)
總榜
- 1matlab軟件下載入口
- 未知 | 935054次下載 | 免費(fèi)
- 2protel99se軟件下載(可英文版轉(zhuǎn)中文版)
- 78.1 MB | 537797次下載 | 免費(fèi)
- 3MATLAB 7.1 下載 (含軟件介紹)
- 未知 | 420027次下載 | 免費(fèi)
- 4OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234315次下載 | 免費(fèi)
- 5Altium DXP2002下載入口
- 未知 | 233046次下載 | 免費(fèi)
- 6電路仿真軟件multisim 10.0免費(fèi)下載
- 340992 | 191186次下載 | 免費(fèi)
- 7十天學(xué)會(huì)AVR單片機(jī)與C語(yǔ)言視頻教程 下載
- 158M | 183279次下載 | 免費(fèi)
- 8proe5.0野火版下載(中文版免費(fèi)下載)
- 未知 | 138040次下載 | 免費(fèi)
評(píng)論