電子發(fā)燒友App
創(chuàng)作
發(fā)文章
發(fā)帖 
提問 
發(fā)資料
發(fā)視頻資料介紹
隨著多處理器實時系統(tǒng)在安全性攸關(guān)系統(tǒng)中的廣泛應用，保證這類系統(tǒng)的正確性成為一項重要的工作．可調(diào)度性是實時系統(tǒng)正確性的一項關(guān)鍵性質(zhì)．它表示系統(tǒng)必須滿足的一些時間要求．傳統(tǒng)的可調(diào)度性分析方法結(jié)論保守或者不完備，為了避免這些方法的缺陷，提出使用模型檢測的方法來實現(xiàn)可調(diào)度性分析．提出了一個用于多處理器實時系統(tǒng)可調(diào)度性分析的模板，將與系統(tǒng)可調(diào)度性相關(guān)的部分包括實時任務、運行平臺和調(diào)度管理模塊都用時間自動機建模，并使用UPPAAL驗證可調(diào)度的性質(zhì)是否總被滿足．符號化模型檢測方法被用于推斷可調(diào)度性，但是由于秒表觸發(fā)的近似機制，符號化模型檢測方法不能用于證明系統(tǒng)不可調(diào)度．作為補充，統(tǒng)計模型檢測方法被用于估算系統(tǒng)不可調(diào)度的概率，并在系統(tǒng)不可調(diào)度時生成反例，此外，在系統(tǒng)可調(diào)度時，通過統(tǒng)計模型檢測方法獲取一些性能相關(guān)的信息。
声明：本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人，不代表电子发烧友网立场。文章及其配图仅供工程师学习之用，如有内容侵权或者其他违规问题，请联系本站处理。 举报投诉
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- EE-148：使用VisualDSP的SHARC多处理器系统简介0次下载
- EE-202：将专家链接器用于多处理器LDFs0次下载
- 基于VPX6-460的多处理器通信设计0次下载
- 基于VPX6—460的多处理器通信设计0次下载
- EE-167：使用VisualDSP++™的TigerSHARC®多处理器系统简介12次下载
- 使用Visual DSP++4．0开发TigerSHARC DSP多处理器系统及其应用的说明7次下载
- 面向异构多处理器设备的自适应命令解释系统0次下载
- 怎样使用Nios II处理器来构建多处理器系统19次下载
- 为嵌入式系统选择合适的多处理器28次下载
- 嵌入式异构多处理器系统中的通信实现47次下载
- 多处理器分组实时调度算法11次下载
- 异构多处理器系统Cache一致性解决方案11次下载
- 基于21554的无主多处理器系统实现16次下载
- 一种基于共享总线的冗余容错多处理器系统11次下载
- 总线可重配置的多处理器架构11次下载
- 对称多处理器的特点是什么817次阅读
- 对称多处理器系统中的进程分配包括563次阅读
- 嵌入式微处理器的原理和应用1315次阅读
- 基于多处理器系统的串行通信方式研究2248次阅读
- 基于OMAP5910双核处理器实现实时图像处理系统的应用设计2664次阅读
- 深度解读多处理器调度问题3131次阅读
- 采用WISHBONE总线有效地解决IP核可移植性、设计复用问题1088次阅读
- 基于CAN总线改进的混合调度算法对网络控制系统的性能研究1073次阅读
- Linux内核的发展简史与系统层次结构7461次阅读
- 在异构处理器上跑Linux方法介绍1616次阅读
- 基于64位多核处理器的共享缓存结构电路设计1968次阅读
- 一文读懂异构多处理系统5043次阅读
- MicroTCA成为嵌入信号处理应用过程及系统案例分析995次阅读
- 全球十大平板电脑处理器厂商盘点9865次阅读
- 提高FPGA处理总线性能的RapidIO节点设计3191次阅读
上傳資料賺積分 广告![]()
下載排行
本周
- 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)電源設計
- 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 專業(yè)版下載 (3CD完整版)
- 0.00 MB | 51043次下載 | 免費
- 5555集成電路應用800例(新編版)
- 0.00 MB | 33562次下載 | 免費
- 6接口電路圖大全
- 未知 | 30320次下載 | 免費
- 7Multisim 10下載Multisim 10 中文版
- 0.00 MB | 28588次下載 | 免費
- 8開關(guān)電源設計實例指南
- 未知 | 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十天學會AVR單片機與C語言視頻教程 下載
- 158M | 183277次下載 | 免費
- 8proe5.0野火版下載(中文版免費下載)
- 未知 | 138039次下載 | 免費
工商網(wǎng)監(jiān)
評論