電子發燒友App
創作
發文章
發帖 
提問 
發資料
發視頻資料介紹
隨著多處理器實時系統在安全性攸關系統中的廣泛應用，保證這類系統的正確性成為一項重要的工作．可調度性是實時系統正確性的一項關鍵性質．它表示系統必須滿足的一些時間要求．傳統的可調度性分析方法結論保守或者不完備，為了避免這些方法的缺陷，提出使用模型檢測的方法來實現可調度性分析．提出了一個用于多處理器實時系統可調度性分析的模板，將與系統可調度性相關的部分包括實時任務、運行平臺和調度管理模塊都用時間自動機建模，并使用UPPAAL驗證可調度的性質是否總被滿足．符號化模型檢測方法被用于推斷可調度性，但是由于秒表觸發的近似機制，符號化模型檢測方法不能用于證明系統不可調度．作為補充，統計模型檢測方法被用于估算系統不可調度的概率，并在系統不可調度時生成反例，此外，在系統可調度時，通過統計模型檢測方法獲取一些性能相關的信息。
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- EE-202：將專家鏈接器用于多處理器LDFs
- 基于VPX6-460的多處理器通信設計
- 基于VPX6—460的多處理器通信設計
- EE-167：使用VisualDSP++?的TigerSHARC?多處理器系統簡介
- EE-202：使用多處理器LDFS的專家鏈接器
- 使用Visual DSP++4．0開發TigerSHARC DSP多處理器系統及其應用的說明 7次下載
- 面向異構多處理器設備的自適應命令解釋系統 0次下載
- 怎樣使用Nios II處理器來構建多處理器系統 19次下載
- 為嵌入式系統選擇合適的多處理器 28次下載
- 嵌入式異構多處理器系統中的通信實現 47次下載
- 多處理器分組實時調度算法
- 異構多處理器系統Cache一致性解決方案
- 基于21554的無主多處理器系統實現
- 一種基于共享總線的冗余容錯多處理器系統
- 總線可重配置的多處理器架構
- 對稱多處理器的特點是什么 481次閱讀
- 對稱多處理器系統中的進程分配包括 311次閱讀
- 基于多處理器系統的串行通信方式研究 2067次閱讀
- 基于OMAP5910雙核處理器實現實時圖像處理系統的應用設計 2484次閱讀
- 深度解讀多處理器調度問題 2989次閱讀
- 采用WISHBONE總線有效地解決IP核可移植性、設計復用問題 972次閱讀
- 基于CAN總線改進的混合調度算法對網絡控制系統的性能研究 946次閱讀
- 基于嵌入式實時系統的提高構件化嵌入式操作系統性能的方案設計 850次閱讀
- Linux內核的發展簡史與系統層次結構 7318次閱讀
- 在異構處理器上跑Linux方法介紹 1493次閱讀
- 基于64位多核處理器的共享緩存結構電路設計 1813次閱讀
- 一文讀懂異構多處理系統 4958次閱讀
- MicroTCA成為嵌入信號處理應用過程及系統案例分析 921次閱讀
- 全球十大平板電腦處理器廠商盤點 9669次閱讀
- 提高FPGA處理總線性能的RapidIO節點設計 3052次閱讀
上傳資料賺積分下載排行
本周
- 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開關電源原理及各功能電路詳解
- 0.38 MB | 10次下載 | 免費
- 6基于AT89C2051/4051單片機編程器的實驗
- 0.11 MB | 4次下載 | 免費
- 7基于單片機和 SG3525的程控開關電源設計
- 0.23 MB | 3次下載 | 免費
- 8基于單片機的紅外風扇遙控
- 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 專業版下載 (3CD完整版)
- 0.00 MB | 51043次下載 | 免費
- 5555集成電路應用800例(新編版)
- 0.00 MB | 33562次下載 | 免費
- 6接口電路圖大全
- 未知 | 30320次下載 | 免費
- 7Multisim 10下載Multisim 10 中文版
- 0.00 MB | 28588次下載 | 免費
- 8開關電源設計實例指南
- 未知 | 21539次下載 | 免費
總榜
- 1matlab軟件下載入口
- 未知 | 935053次下載 | 免費
- 2protel99se軟件下載(可英文版轉中文版)
- 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十天學會AVR單片機與C語言視頻教程 下載
- 158M | 183277次下載 | 免費
- 8proe5.0野火版下載(中文版免費下載)
- 未知 | 138039次下載 | 免費
工商網監
評論