資料介紹
基于源程序獲取實(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ì) 21次下載
- 一種實(shí)時(shí)嵌入式多任務(wù)微內(nèi)核的分析與改進(jìn)
- 基于DSP TMS320LF2407的溫度控制系統(tǒng) 8次下載
- 一種采用TMS320F2812 DSP的氡室濃度控制系統(tǒng) 6次下載
- 基于實(shí)時(shí)代碼生成工具的DSP控制系統(tǒng) 5次下載
- 如何使用PLC實(shí)現(xiàn)自動(dòng)洗車控制系統(tǒng)的設(shè)計(jì) 55次下載
- DSP控制系統(tǒng)中實(shí)時(shí)波形的捕獲與分析 11次下載
- 一種基于STM32的智能家居控制系統(tǒng) 44次下載
- 一種模糊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ì)比 4.6k次閱讀
- 開環(huán)控制系統(tǒng)與閉環(huán)控制系統(tǒng)的區(qū)別 1.6w次閱讀
- plc控制系統(tǒng)與傳統(tǒng)繼電器控制區(qū)別 plc控制系統(tǒng)的優(yōu)點(diǎn) 6.2k次閱讀
- 智能控制系統(tǒng)的主要類型有哪些? 5.7k次閱讀
- 一種微型生態(tài)花園控制系統(tǒng)設(shè)計(jì) 461次閱讀
- 一種高精度巡航導(dǎo)彈的智能飛行控制系統(tǒng)設(shè)計(jì) 2.3k次閱讀
- 實(shí)時(shí)控制系統(tǒng)的設(shè)計(jì)挑戰(zhàn) 2.2k次閱讀
- 使用GD32的嵌入式實(shí)時(shí)控制系統(tǒng) 5.9k次閱讀
- 張力控制系統(tǒng)的控制方式 9.3k次閱讀
- 一種流量比值控制系統(tǒng)設(shè)計(jì)剖析 4.7k次閱讀
- 【新專利介紹】一種智能電表付費(fèi)控制系統(tǒng)及其控制方法 2k次閱讀
- 【新專利介紹】一種新型水表控制系統(tǒng) 1.5k次閱讀
- 變壓器有載自動(dòng)調(diào)壓控制系統(tǒng)詳解 1.7w次閱讀
- 一種基于STM32的智能采油控制系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn) 2.8k次閱讀
- 一種基于STM32的溫室遠(yuǎn)程監(jiān)測和控制系統(tǒng)的設(shè)計(jì) 1.3w次閱讀
下載排行
本周
- 12EDL05x06xx系列 600V半橋門驅(qū)動(dòng)器帶集成自舉二極管(BSD)手冊(cè)
- 0.69 MB | 1次下載 | 免費(fèi)
- 2AT817晶體管光耦系列
- 1.86 MB | 次下載 | 免費(fèi)
- 3國產(chǎn)千兆網(wǎng)口芯片PT153S中文資料
- 1.35 MB | 次下載 | 免費(fèi)
- 4壓力容器焊接手冊(cè)
- 6.47 MB | 次下載 | 2 積分
- 5PC1502 18V_1A負(fù)載開關(guān)電路中文資料
- 13.40 MB | 次下載 | 免費(fèi)
- 6FP7135V060-G1/FP7125替代物料pin to pin
- 495.40 KB | 次下載 | 免費(fèi)
- 7PAW3311DB光學(xué)鼠標(biāo)導(dǎo)航傳感器數(shù)據(jù)手冊(cè)
- 3.20 MB | 次下載 | 2 積分
- 8斯丹麥德電子 | 用于芯片測試系統(tǒng)的射頻干簧繼電器
- 5.11 MB | 次下載 | 1 積分
本月
- 1美的電磁爐電路原理圖資料
- 4.39 MB | 16次下載 | 10 積分
- 2SW6238V ACCC 三 PD 四口多協(xié)議移動(dòng)電源 SOC規(guī)格書
- 0.59 MB | 5次下載 | 1 積分
- 3反激式開關(guān)電源設(shè)計(jì)解析
- 0.89 MB | 4次下載 | 5 積分
- 4IP6742_datasheet_100V8A 同步 BUCK 控制器
- 2.16 MB | 3次下載 | 免費(fèi)
- 5IP5365支持3路 Type-C、UFCS、PD3.0等全部快充協(xié)議的移動(dòng)電源SOC規(guī)格書
- 3.38 MB | 1次下載 | 1 積分
- 6簡易光伏控制器原理圖資料
- 0.07 MB | 1次下載 | 5 積分
- 72EDL05x06xx系列 600V半橋門驅(qū)動(dòng)器帶集成自舉二極管(BSD)手冊(cè)
- 0.69 MB | 1次下載 | 免費(fèi)
- 8CDx4HC74 具有清零和預(yù)設(shè)功能的雙路D類正邊沿觸發(fā)的觸發(fā)器數(shù)據(jù)表
- 1.45 MB | 次下載 | 免費(fèi)
總榜
- 1matlab軟件下載入口
- 未知 | 935137次下載 | 10 積分
- 2開源硬件-PMP21529.1-4 開關(guān)降壓/升壓雙向直流/直流轉(zhuǎn)換器 PCB layout 設(shè)計(jì)
- 1.48MB | 420064次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233094次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費(fèi)下載
- 340992 | 191448次下載 | 10 積分
- 5十天學(xué)會(huì)AVR單片機(jī)與C語言視頻教程 下載
- 158M | 183360次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81605次下載 | 10 積分
- 7Keil工具M(jìn)DK-Arm免費(fèi)下載
- 0.02 MB | 73829次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65991次下載 | 10 積分
電子發(fā)燒友App





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