電子發(fā)燒友App
創(chuàng)作
發(fā)文章
發(fā)帖 
提問 
發(fā)資料
發(fā)視頻資料介紹
在現(xiàn)代嵌入式系統(tǒng)中，性能的重要性日益凸顯．傳統(tǒng)的基于測(cè)量的性能分析方法在運(yùn)行時(shí)對(duì)性能進(jìn)行測(cè)試，往往在代碼實(shí)現(xiàn)后才考慮實(shí)施．若此時(shí)發(fā)現(xiàn)的問題是體系結(jié)構(gòu)或設(shè)計(jì)因素造成的，修復(fù)的代價(jià)將非常昂貴．提出了一種基于形式化模型的性能分析（formal method-based performance analysis，簡(jiǎn)稱FMPA）方法框架，希望在系統(tǒng)開發(fā)的早期對(duì)系統(tǒng)設(shè)計(jì)模型進(jìn)行性能分析，以便盡早發(fā)現(xiàn)并解決潛在的性能問題.FMPA具有統(tǒng)一的對(duì)外接口（UML-MARTE），基于多種形式化模型，并可對(duì)多種系統(tǒng)性能指標(biāo)進(jìn)行分析．該方法適用于基于模型的開發(fā)過程，可為實(shí)時(shí)嵌入式系統(tǒng)的設(shè)計(jì)開發(fā)提供多項(xiàng)性能指標(biāo)的參考．通過介紹利用實(shí)時(shí)模型檢測(cè)技術(shù)分析響應(yīng)時(shí)間與吞吐量，利用概率模型檢測(cè)技術(shù)分析系統(tǒng)可靠性，以及FMPA方法的支撐工具FMPAer的總體設(shè)計(jì)方案，說明了FMPA方法框架的可行性．
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- 嵌入式系統(tǒng)系列叢書-時(shí)間觸發(fā)嵌入式系統(tǒng)設(shè)計(jì)模式 0次下載
- 嵌入式系統(tǒng)框架----軟件篇
- 嵌入式系統(tǒng)框架----硬件篇
- 嵌入式系統(tǒng)定義
- 嵌入式系統(tǒng)與嵌入式PLC
- 嵌入式系統(tǒng)接口與案例的分析與設(shè)計(jì)資料說明 3次下載
- 嵌入式操作系統(tǒng)的介紹和嵌入式操作系統(tǒng)的發(fā)展?fàn)顩r和應(yīng)用前景說明
- TI的嵌入式分析技術(shù)使設(shè)備更加智能 9次下載
- 嵌入式系統(tǒng)死鎖檢測(cè)方法 0次下載
- 嵌入式系統(tǒng)硬件可靠性分析 1次下載
- 嵌入式系統(tǒng)的組成及其低功耗的設(shè)計(jì) 9次下載
- 嵌入式系統(tǒng)原理、設(shè)計(jì)與應(yīng)用 2次下載
- 嵌入式機(jī)器視覺系統(tǒng)優(yōu)化研究 45次下載
- 嵌入式系統(tǒng)關(guān)鍵技術(shù)分析與開發(fā)應(yīng)用
- 一種可生存嵌入式系統(tǒng)性能監(jiān)測(cè)方法研究
- 什么是嵌入式系統(tǒng)？嵌入式系統(tǒng)的具體應(yīng)用 2096次閱讀
- 嵌入式框架Zorb Framework狀態(tài)機(jī)的實(shí)現(xiàn) 896次閱讀
- 嵌入式框架Zorb Framework搭建方案 1315次閱讀
- 嵌入式系統(tǒng)的全面解析 3146次閱讀
- 如何實(shí)現(xiàn)嵌入式系統(tǒng)遠(yuǎn)程調(diào)試 5079次閱讀
- 汽車嵌入式系統(tǒng)的設(shè)計(jì)過程、方法和測(cè)試工具框架淺析 1819次閱讀
- 基于嵌入式實(shí)時(shí)系統(tǒng)的提高構(gòu)件化嵌入式操作系統(tǒng)性能的方案設(shè)計(jì) 780次閱讀
- 嵌入式系統(tǒng)的40道測(cè)試題和答案及詳細(xì)解析 9143次閱讀
- 嵌入式應(yīng)用框架EAF詳解 2699次閱讀
- 關(guān)于嵌入式系統(tǒng)8大關(guān)鍵特性詳解 1059次閱讀
- 嵌入式系統(tǒng)的特點(diǎn)大匯總 5743次閱讀
- 嵌入式行業(yè)發(fā)展?fàn)顩r_嵌入式行業(yè)人才需求_嵌入式系統(tǒng)就業(yè)前景分析 2.3w次閱讀
- 技術(shù)分析：典型的嵌入式系統(tǒng)設(shè)計(jì) 2645次閱讀
- 典型的嵌入式系統(tǒng)設(shè)計(jì) 2650次閱讀
- 嵌入式無線接入系統(tǒng)設(shè)計(jì) 1253次閱讀
上傳資料賺積分下載排行
本周
- 1HFSS電磁仿真設(shè)計(jì)應(yīng)用詳解PDF電子教程免費(fèi)下載
- 24.30 MB | 126次下載 | 1 積分
- 2H橋中的電流感測(cè)
- 545.39KB | 7次下載 | 免費(fèi)
- 3雷達(dá)的基本分類方法
- 1.25 MB | 4次下載 | 4 積分
- 4I3C–下一代串行通信接口
- 608.47KB | 3次下載 | 免費(fèi)
- 5電感技術(shù)講解
- 827.73 KB | 2次下載 | 免費(fèi)
- 6從 MSP430? MCU 到 MSPM0 MCU 的遷移指南
- 1.17MB | 2次下載 | 免費(fèi)
- 7有源低通濾波器設(shè)計(jì)應(yīng)用說明
- 1.12MB | 2次下載 | 免費(fèi)
- 8RA-Eco-RA2E1-48PIN-V1.0開發(fā)板資料
- 35.59 MB | 2次下載 | 免費(fèi)
本月
- 12024年工控與通信行業(yè)上游發(fā)展趨勢(shì)和熱點(diǎn)解讀
- 2.61 MB | 763次下載 | 免費(fèi)
- 2HFSS電磁仿真設(shè)計(jì)應(yīng)用詳解PDF電子教程免費(fèi)下載
- 24.30 MB | 126次下載 | 1 積分
- 3繼電保護(hù)原理
- 2.80 MB | 36次下載 | 免費(fèi)
- 4正激、反激、推挽、全橋、半橋區(qū)別和特點(diǎn)
- 0.91 MB | 32次下載 | 1 積分
- 5labview實(shí)現(xiàn)DBC在界面加載配置
- 0.57 MB | 21次下載 | 5 積分
- 6在設(shè)計(jì)中使用MOSFET瞬態(tài)熱阻抗曲線
- 1.57MB | 15次下載 | 免費(fèi)
- 7GBT 4706.1-2024家用和類似用途電器的安全第1部分:通用要求
- 7.43 MB | 13次下載 | 免費(fèi)
- 8PADS-3D庫文件
- 2.70 MB | 10次下載 | 2 積分
總榜
- 1matlab軟件下載入口
- 未知 | 935113次下載 | 10 積分
- 2開源硬件-PMP21529.1-4 開關(guān)降壓/升壓雙向直流/直流轉(zhuǎn)換器 PCB layout 設(shè)計(jì)
- 1.48MB | 420061次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233084次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費(fèi)下載
- 340992 | 191360次下載 | 10 積分
- 5十天學(xué)會(huì)AVR單片機(jī)與C語言視頻教程 下載
- 158M | 183329次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81578次下載 | 10 積分
- 7Keil工具M(jìn)DK-Arm免費(fèi)下載
- 0.02 MB | 73804次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65985次下載 | 10 積分
工商網(wǎng)監(jiān)
評(píng)論