電子發(fā)燒友App
創(chuàng)作
發(fā)文章
發(fā)帖 
提問 
發(fā)資料
發(fā)視頻資料介紹
在現(xiàn)代嵌入式系統(tǒng)中，性能的重要性日益凸顯．傳統(tǒng)的基于測量的性能分析方法在運行時對性能進(jìn)行測試，往往在代碼實現(xiàn)后才考慮實施．若此時發(fā)現(xiàn)的問題是體系結(jié)構(gòu)或設(shè)計因素造成的，修復(fù)的代價將非常昂貴．提出了一種基于形式化模型的性能分析（formal method-based performance analysis，簡稱FMPA）方法框架，希望在系統(tǒng)開發(fā)的早期對系統(tǒng)設(shè)計模型進(jìn)行性能分析，以便盡早發(fā)現(xiàn)并解決潛在的性能問題.FMPA具有統(tǒng)一的對外接口（UML-MARTE），基于多種形式化模型，并可對多種系統(tǒng)性能指標(biāo)進(jìn)行分析．該方法適用于基于模型的開發(fā)過程，可為實時嵌入式系統(tǒng)的設(shè)計開發(fā)提供多項性能指標(biāo)的參考．通過介紹利用實時模型檢測技術(shù)分析響應(yīng)時間與吞吐量，利用概率模型檢測技術(shù)分析系統(tǒng)可靠性，以及FMPA方法的支撐工具FMPAer的總體設(shè)計方案，說明了FMPA方法框架的可行性．
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- 嵌入式系統(tǒng)系列叢書-時間觸發(fā)嵌入式系統(tǒng)設(shè)計模式 0次下載
- 嵌入式系統(tǒng)框架----軟件篇
- 嵌入式系統(tǒng)框架----硬件篇
- 嵌入式系統(tǒng)定義
- 嵌入式系統(tǒng)與嵌入式PLC
- 嵌入式系統(tǒng)接口與案例的分析與設(shè)計資料說明 3次下載
- 嵌入式操作系統(tǒng)的介紹和嵌入式操作系統(tǒng)的發(fā)展?fàn)顩r和應(yīng)用前景說明
- TI的嵌入式分析技術(shù)使設(shè)備更加智能 13次下載
- 嵌入式系統(tǒng)死鎖檢測方法 0次下載
- 嵌入式系統(tǒng)硬件可靠性分析 1次下載
- 嵌入式系統(tǒng)的組成及其低功耗的設(shè)計 9次下載
- 嵌入式系統(tǒng)原理、設(shè)計與應(yīng)用 2次下載
- 嵌入式機(jī)器視覺系統(tǒng)優(yōu)化研究 45次下載
- 嵌入式系統(tǒng)關(guān)鍵技術(shù)分析與開發(fā)應(yīng)用
- 一種可生存嵌入式系統(tǒng)性能監(jiān)測方法研究
- 什么是嵌入式系統(tǒng)？嵌入式系統(tǒng)的具體應(yīng)用 2565次閱讀
- 嵌入式框架Zorb Framework狀態(tài)機(jī)的實現(xiàn) 1207次閱讀
- 嵌入式框架Zorb Framework搭建方案 1494次閱讀
- 嵌入式系統(tǒng)的全面解析 3281次閱讀
- 如何實現(xiàn)嵌入式系統(tǒng)遠(yuǎn)程調(diào)試 5406次閱讀
- 汽車嵌入式系統(tǒng)的設(shè)計過程、方法和測試工具框架淺析 1922次閱讀
- 基于嵌入式實時系統(tǒng)的提高構(gòu)件化嵌入式操作系統(tǒng)性能的方案設(shè)計 850次閱讀
- 嵌入式系統(tǒng)的40道測試題和答案及詳細(xì)解析 9341次閱讀
- 嵌入式應(yīng)用框架EAF詳解 2892次閱讀
- 關(guān)于嵌入式系統(tǒng)8大關(guān)鍵特性詳解 1153次閱讀
- 嵌入式系統(tǒng)的特點大匯總 5896次閱讀
- 嵌入式行業(yè)發(fā)展?fàn)顩r_嵌入式行業(yè)人才需求_嵌入式系統(tǒng)就業(yè)前景分析 2.4w次閱讀
- 技術(shù)分析：典型的嵌入式系統(tǒng)設(shè)計 2742次閱讀
- 典型的嵌入式系統(tǒng)設(shè)計 2716次閱讀
- 嵌入式無線接入系統(tǒng)設(shè)計 1304次閱讀
上傳資料賺積分下載排行
本周
- 1DC電源插座圖紙
- 0.67 MB | 2次下載 | 免費
- 2AN158 GD32VW553 Wi-Fi開發(fā)指南
- 1.51MB | 2次下載 | 免費
- 3AN148 GD32VW553射頻硬件開發(fā)指南
- 2.07MB | 1次下載 | 免費
- 4AN111-LTC3219用戶指南
- 84.32KB | 次下載 | 免費
- 5AN153-用于電源系統(tǒng)管理的Linduino
- 1.38MB | 次下載 | 免費
- 6AN-283: Σ-Δ型ADC和DAC[中文版]
- 677.86KB | 次下載 | 免費
- 7SM2018E 支持可控硅調(diào)光線性恒流控制芯片
- 402.24 KB | 次下載 | 免費
- 8AN-1308: 電流檢測放大器共模階躍響應(yīng)
- 545.42KB | 次下載 | 免費
本月
- 1ADI高性能電源管理解決方案
- 2.43 MB | 450次下載 | 免費
- 2免費開源CC3D飛控資料（電路圖&PCB源文件、BOM、
- 5.67 MB | 138次下載 | 1 積分
- 3基于STM32單片機(jī)智能手環(huán)心率計步器體溫顯示設(shè)計
- 0.10 MB | 130次下載 | 免費
- 4使用單片機(jī)實現(xiàn)七人表決器的程序和仿真資料免費下載
- 2.96 MB | 44次下載 | 免費
- 53314A函數(shù)發(fā)生器維修手冊
- 16.30 MB | 31次下載 | 免費
- 6美的電磁爐維修手冊大全
- 1.56 MB | 24次下載 | 5 積分
- 7如何正確測試電源的紋波
- 0.36 MB | 17次下載 | 免費
- 8感應(yīng)筆電路圖
- 0.06 MB | 10次下載 | 免費
總榜
- 1matlab軟件下載入口
- 未知 | 935121次下載 | 10 積分
- 2開源硬件-PMP21529.1-4 開關(guān)降壓/升壓雙向直流/直流轉(zhuǎn)換器 PCB layout 設(shè)計
- 1.48MB | 420062次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233088次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費下載
- 340992 | 191367次下載 | 10 積分
- 5十天學(xué)會AVR單片機(jī)與C語言視頻教程 下載
- 158M | 183335次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81581次下載 | 10 積分
- 7Keil工具M(jìn)DK-Arm免費下載
- 0.02 MB | 73810次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65988次下載 | 10 積分
工商網(wǎng)監(jiān)
評論