電子發(fā)燒友App
創(chuàng)作
發(fā)文章
發(fā)帖 
提問(wèn) 
發(fā)資料
發(fā)視頻資料介紹
隨著多處理器實(shí)時(shí)系統(tǒng)在安全性攸關(guān)系統(tǒng)中的廣泛應(yīng)用，保證這類(lèi)系統(tǒng)的正確性成為一項(xiàng)重要的工作．可調(diào)度性是實(shí)時(shí)系統(tǒng)正確性的一項(xiàng)關(guān)鍵性質(zhì)．它表示系統(tǒng)必須滿足的一些時(shí)間要求．傳統(tǒng)的可調(diào)度性分析方法結(jié)論保守或者不完備，為了避免這些方法的缺陷，提出使用模型檢測(cè)的方法來(lái)實(shí)現(xiàn)可調(diào)度性分析．提出了一個(gè)用于多處理器實(shí)時(shí)系統(tǒng)可調(diào)度性分析的模板，將與系統(tǒng)可調(diào)度性相關(guān)的部分包括實(shí)時(shí)任務(wù)、運(yùn)行平臺(tái)和調(diào)度管理模塊都用時(shí)間自動(dòng)機(jī)建模，并使用UPPAAL驗(yàn)證可調(diào)度的性質(zhì)是否總被滿足．符號(hào)化模型檢測(cè)方法被用于推斷可調(diào)度性，但是由于秒表觸發(fā)的近似機(jī)制，符號(hào)化模型檢測(cè)方法不能用于證明系統(tǒng)不可調(diào)度．作為補(bǔ)充，統(tǒng)計(jì)模型檢測(cè)方法被用于估算系統(tǒng)不可調(diào)度的概率，并在系統(tǒng)不可調(diào)度時(shí)生成反例，此外，在系統(tǒng)可調(diào)度時(shí)，通過(guò)統(tǒng)計(jì)模型檢測(cè)方法獲取一些性能相關(guān)的信息。
掃碼添加小助手
加入工程師交流群
- EE-202：將專(zhuān)家鏈接器用于多處理器LDFs
- 基于VPX6-460的多處理器通信設(shè)計(jì)
- 基于VPX6—460的多處理器通信設(shè)計(jì)
- EE-167：使用VisualDSP++?的TigerSHARC?多處理器系統(tǒng)簡(jiǎn)介
- EE-202：使用多處理器LDFS的專(zhuān)家鏈接器
- 使用Visual DSP++4．0開(kāi)發(fā)TigerSHARC DSP多處理器系統(tǒng)及其應(yīng)用的說(shuō)明 7次下載
- 面向異構(gòu)多處理器設(shè)備的自適應(yīng)命令解釋系統(tǒng) 0次下載
- 怎樣使用Nios II處理器來(lái)構(gòu)建多處理器系統(tǒng) 19次下載
- 為嵌入式系統(tǒng)選擇合適的多處理器 28次下載
- 嵌入式異構(gòu)多處理器系統(tǒng)中的通信實(shí)現(xiàn) 47次下載
- 多處理器分組實(shí)時(shí)調(diào)度算法
- 異構(gòu)多處理器系統(tǒng)Cache一致性解決方案
- 基于21554的無(wú)主多處理器系統(tǒng)實(shí)現(xiàn)
- 一種基于共享總線的冗余容錯(cuò)多處理器系統(tǒng)
- 總線可重配置的多處理器架構(gòu)
- 對(duì)稱多處理器的特點(diǎn)是什么 1.6k次閱讀
- 對(duì)稱多處理器系統(tǒng)中的進(jìn)程分配包括 1k次閱讀
- 基于多處理器系統(tǒng)的串行通信方式研究 2.6k次閱讀
- 基于OMAP5910雙核處理器實(shí)現(xiàn)實(shí)時(shí)圖像處理系統(tǒng)的應(yīng)用設(shè)計(jì) 3.2k次閱讀
- 深度解讀多處理器調(diào)度問(wèn)題 3.4k次閱讀
- 采用WISHBONE總線有效地解決IP核可移植性、設(shè)計(jì)復(fù)用問(wèn)題 1.3k次閱讀
- 基于CAN總線改進(jìn)的混合調(diào)度算法對(duì)網(wǎng)絡(luò)控制系統(tǒng)的性能研究 1.2k次閱讀
- Linux內(nèi)核的發(fā)展簡(jiǎn)史與系統(tǒng)層次結(jié)構(gòu) 7.8k次閱讀
- 基于FPGA和四端口存儲(chǔ)器的三DSP圖像處理系統(tǒng)詳解 1.5k次閱讀
- 在異構(gòu)處理器上跑Linux方法介紹 1.8k次閱讀
- 基于64位多核處理器的共享緩存結(jié)構(gòu)電路設(shè)計(jì) 2.2k次閱讀
- 一文讀懂異構(gòu)多處理系統(tǒng) 5.2k次閱讀
- MicroTCA成為嵌入信號(hào)處理應(yīng)用過(guò)程及系統(tǒng)案例分析 1.1k次閱讀
- 全球十大平板電腦處理器廠商盤(pán)點(diǎn) 1.1w次閱讀
- 提高FPGA處理總線性能的RapidIO節(jié)點(diǎn)設(shè)計(jì) 3.4k次閱讀
上傳資料賺積分下載排行
本周
- 1MDD品牌三極管MMBT3906數(shù)據(jù)手冊(cè)
- 2.33 MB | 次下載 | 免費(fèi)
- 2MDD品牌三極管S9012數(shù)據(jù)手冊(cè)
- 2.62 MB | 次下載 | 免費(fèi)
- 3聯(lián)想flex2-14D/15D說(shuō)明書(shū)
- 4.92 MB | 次下載 | 免費(fèi)
- 4收音環(huán)繞擴(kuò)音機(jī) AVR-1507手冊(cè)
- 2.50 MB | 次下載 | 免費(fèi)
- 524Pin Type-C連接器設(shè)計(jì)報(bào)告
- 1.06 MB | 次下載 | 免費(fèi)
- 6新一代網(wǎng)絡(luò)可視化（NPB 2.0）
- 3.40 MB | 次下載 | 免費(fèi)
- 7MS1000TA 超聲波測(cè)量模擬前端芯片技術(shù)手冊(cè)
- 0.60 MB | 次下載 | 免費(fèi)
- 8MS1022高精度時(shí)間測(cè)量(TDC)電路數(shù)據(jù)手冊(cè)
- 1.81 MB | 次下載 | 免費(fèi)
本月
- 1愛(ài)華AIWA HS-J202維修手冊(cè)
- 3.34 MB | 37次下載 | 免費(fèi)
- 2PC5502負(fù)載均流控制電路數(shù)據(jù)手冊(cè)
- 1.63 MB | 23次下載 | 免費(fèi)
- 3NB-IoT芯片廠商的資料說(shuō)明
- 0.31 MB | 22次下載 | 1 積分
- 4H110主板CPU PWM芯片ISL95858HRZ-T核心供電電路圖資料
- 0.63 MB | 6次下載 | 1 積分
- 5UWB653Pro USB口測(cè)距通信定位模塊規(guī)格書(shū)
- 838.47 KB | 5次下載 | 免費(fèi)
- 6技嘉H110主板IT8628E_BX IO電路圖資料
- 2.61 MB | 4次下載 | 1 積分
- 7蘇泊爾DCL6907(即CHK-S007)單芯片電磁爐原理圖資料
- 0.04 MB | 4次下載 | 1 積分
- 8100W準(zhǔn)諧振反激式恒流電源電路圖資料
- 0.09 MB | 2次下載 | 1 積分
總榜
- 1matlab軟件下載入口
- 未知 | 935137次下載 | 10 積分
- 2開(kāi)源硬件-PMP21529.1-4 開(kāi)關(guān)降壓/升壓雙向直流/直流轉(zhuǎn)換器 PCB layout 設(shè)計(jì)
- 1.48MB | 420064次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233089次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費(fèi)下載
- 340992 | 191439次下載 | 10 積分
- 5十天學(xué)會(huì)AVR單片機(jī)與C語(yǔ)言視頻教程 下載
- 158M | 183353次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81602次下載 | 10 積分
- 7Keil工具M(jìn)DK-Arm免費(fèi)下載
- 0.02 MB | 73822次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65991次下載 | 10 積分
工商網(wǎng)監(jiān)
評(píng)論