資料介紹
在現(xiàn)代嵌入式系統(tǒng)中,性能的重要性日益凸顯.傳統(tǒng)的基于測量的性能分析方法在運行時對性能進行測試,往往在代碼實現(xiàn)后才考慮實施.若此時發(fā)現(xiàn)的問題是體系結(jié)構(gòu)或設(shè)計因素造成的,修復(fù)的代價將非常昂貴.提出了一種基于形式化模型的性能分析(formal method-based performance analysis,簡稱FMPA)方法框架,希望在系統(tǒng)開發(fā)的早期對系統(tǒng)設(shè)計模型進行性能分析,以便盡早發(fā)現(xiàn)并解決潛在的性能問題.FMPA具有統(tǒng)一的對外接口(UML-MARTE),基于多種形式化模型,并可對多種系統(tǒng)性能指標(biāo)進行分析.該方法適用于基于模型的開發(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次下載
- 嵌入式機器視覺系統(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)機的實現(xiàn) 1207次閱讀
- 嵌入式框架Zorb Framework搭建方案 1494次閱讀
- 嵌入式系統(tǒng)的全面解析 3281次閱讀
- 如何實現(xiàn)嵌入式系統(tǒng)遠程調(diào)試 5406次閱讀
- 汽車嵌入式系統(tǒng)的設(shè)計過程、方法和測試工具框架淺析 1922次閱讀
- 基于嵌入式實時系統(tǒng)的提高構(gòu)件化嵌入式操作系統(tǒng)性能的方案設(shè)計 850次閱讀
- 嵌入式系統(tǒng)的40道測試題和答案及詳細解析 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次閱讀
下載排行
本周
- 1電子電路原理第七版PDF電子教材免費下載
- 0.00 MB | 1490次下載 | 免費
- 2單片機典型實例介紹
- 18.19 MB | 93次下載 | 1 積分
- 3S7-200PLC編程實例詳細資料
- 1.17 MB | 27次下載 | 1 積分
- 4筆記本電腦主板的元件識別和講解說明
- 4.28 MB | 18次下載 | 4 積分
- 5開關(guān)電源原理及各功能電路詳解
- 0.38 MB | 10次下載 | 免費
- 6基于AT89C2051/4051單片機編程器的實驗
- 0.11 MB | 4次下載 | 免費
- 7基于單片機和 SG3525的程控開關(guān)電源設(shè)計
- 0.23 MB | 3次下載 | 免費
- 8基于單片機的紅外風(fēng)扇遙控
- 0.23 MB | 3次下載 | 免費
本月
- 1OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費
- 2PADS 9.0 2009最新版 -下載
- 0.00 MB | 66304次下載 | 免費
- 3protel99下載protel99軟件下載(中文版)
- 0.00 MB | 51209次下載 | 免費
- 4LabView 8.0 專業(yè)版下載 (3CD完整版)
- 0.00 MB | 51043次下載 | 免費
- 5555集成電路應(yīng)用800例(新編版)
- 0.00 MB | 33562次下載 | 免費
- 6接口電路圖大全
- 未知 | 30320次下載 | 免費
- 7Multisim 10下載Multisim 10 中文版
- 0.00 MB | 28588次下載 | 免費
- 8開關(guān)電源設(shè)計實例指南
- 未知 | 21539次下載 | 免費
總榜
- 1matlab軟件下載入口
- 未知 | 935053次下載 | 免費
- 2protel99se軟件下載(可英文版轉(zhuǎn)中文版)
- 78.1 MB | 537791次下載 | 免費
- 3MATLAB 7.1 下載 (含軟件介紹)
- 未知 | 420026次下載 | 免費
- 4OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費
- 5Altium DXP2002下載入口
- 未知 | 233046次下載 | 免費
- 6電路仿真軟件multisim 10.0免費下載
- 340992 | 191183次下載 | 免費
- 7十天學(xué)會AVR單片機與C語言視頻教程 下載
- 158M | 183277次下載 | 免費
- 8proe5.0野火版下載(中文版免費下載)
- 未知 | 138039次下載 | 免費
評論