資料介紹
基于源程序獲取實(shí)時(shí)控制系統(tǒng)的模式,不僅能夠驗(yàn)證實(shí)現(xiàn)的模式與設(shè)計(jì)是否一致,還可使程序的最差情況執(zhí)行時(shí)間( WCET)計(jì)算更為精準(zhǔn)。為此,提出一種自動(dòng)分析實(shí)時(shí)控制系統(tǒng)程序模式的方法。通過分析C語言源程序生成程序控制流圖,對(duì)輸入變量相關(guān)節(jié)點(diǎn)進(jìn)行切片,形成依賴輸入變量的控制流圖( ICFG),建立ICFG每條路徑的線性規(guī)劃問題并求解,從而獲得潛在的程序模式。在此基礎(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)洗車控制系統(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)
- 一種開放式發(fā)酵過程自動(dòng)控制系統(tǒng)的實(shí)現(xiàn)
- 控制系統(tǒng)中實(shí)時(shí)任務(wù)分析
- 一種基于FF總線的智能控制系統(tǒng)設(shè)計(jì)
- 現(xiàn)場總線控制系統(tǒng)與集散控制系統(tǒng)的對(duì)比 2257次閱讀
- 開環(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)的主要類型有哪些? 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次閱讀
下載排行
本周
- 1FS313B USB 的 PD和QC 快充協(xié)議電壓誘騙控制器規(guī)格書
- 2.61 MB | 3次下載 | 免費(fèi)
- 2DDR3 SDRAM參考設(shè)計(jì)手冊(cè)
- 2.84 MB | 1次下載 | 免費(fèi)
- 3FS312B USB的PD和OC快充協(xié)議電壓誘騙控制器規(guī)格書
- 1.35 MB | 1次下載 | 免費(fèi)
- 4SIP協(xié)議和私有協(xié)議廣播區(qū)別
- 1.28 MB | 1次下載 | 免費(fèi)
- 5RS2J SMA快恢復(fù)二極管規(guī)格書
- 0.50 MB | 次下載 | 免費(fèi)
- 6RS1K SMA快恢復(fù)二極管規(guī)格書
- 0.38 MB | 次下載 | 免費(fèi)
- 7FS5282 5V升壓充電兩串鋰電池充電管理IC規(guī)格書
- 6.49 MB | 次下載 | 免費(fèi)
- 8VCS2383S二維低功耗磁開關(guān)系列技術(shù)手冊(cè)
- 4.43 MB | 次下載 | 免費(fèi)
本月
- 1PFC電路與BOOST電路設(shè)計(jì)實(shí)例分享
- 1.83 MB | 18次下載 | 4 積分
- 2電源測(cè)試報(bào)告-基于 國民技術(shù) N32L406 和杰華特 JW3376+3330 的 BMS 方案
- 6.47 MB | 17次下載 | 免費(fèi)
- 3美的TM-S1-07E-B電路圖資料
- 2.05 MB | 13次下載 | 免費(fèi)
- 4世平基于靈動(dòng)微 SPIN560C 的低壓無刷電機(jī)應(yīng)用方案
- 10.93 MB | 11次下載 | 免費(fèi)
- 5HAL9303線性霍爾效應(yīng)傳感器技術(shù)手冊(cè)
- 0.70 MB | 11次下載 | 免費(fèi)
- 6電流檢測(cè)芯片F(xiàn)P135應(yīng)用說明
- 1.24 MB | 10次下載 | 免費(fèi)
- 7美的tm-s1-09b主板圖紙資料
- 0.38 MB | 9次下載 | 免費(fèi)
- 8美的超薄電磁爐圖紙資料
- 0.38 MB | 6次下載 | 免費(fèi)
總榜
- 1matlab軟件下載入口
- 未知 | 935134次下載 | 10 積分
- 2開源硬件-PMP21529.1-4 開關(guān)降壓/升壓雙向直流/直流轉(zhuǎn)換器 PCB layout 設(shè)計(jì)
- 1.48MB | 420064次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233089次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費(fèi)下載
- 340992 | 191424次下載 | 10 積分
- 5十天學(xué)會(huì)AVR單片機(jī)與C語言視頻教程 下載
- 158M | 183352次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81601次下載 | 10 積分
- 7Keil工具M(jìn)DK-Arm免費(fèi)下載
- 0.02 MB | 73818次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65991次下載 | 10 積分
電子發(fā)燒友App






創(chuàng)作
發(fā)文章
發(fā)帖
提問
發(fā)資料
發(fā)視頻
上傳資料賺積分
評(píng)論