資料介紹
?
隨著嵌入式系統(tǒng)的不斷發(fā)展,傳統(tǒng)的嵌入式開發(fā)已經遠遠不能適應新的要求,需要借助IJ1 強大的系統(tǒng)設計能力來解決效率低下的問題,但是標準UML在多系統(tǒng)級任務并發(fā),任務之間同步、系統(tǒng)仿真以及實時性方面沒有提供足夠的支持,很難直接應用到嵌入式系統(tǒng)的設計中。文章研究一種將時間約束Petri網和擴展UML相結合的方法,通過利用Petri描述異步性和并發(fā)性的能力來擴展UML 的構造型和流程圖,通過將UML轉化為Petri圖,進而可以利用Petri強大的理論體系來驗證IM 的正確性.
?

下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- 嵌入式技術在CCD成像系統(tǒng)中的應用研究
- DSP與MCU在嵌入式系統(tǒng)中的應用
- DSP在嵌入式系統(tǒng)中的應用實例
- DSP在高速數(shù)據(jù)處理的嵌入式系統(tǒng)研究與應用
- 用于嵌入式系統(tǒng)建模的擴展PRES網 0次下載
- 基于ARM的嵌入式系統(tǒng)在直流系統(tǒng)接地故障定位中的研究 13次下載
- Petri網在計費系統(tǒng)中的應用研究_侯煜 0次下載
- 基于UML的嵌入式軟件建模研究馮林 0次下載
- 基于UML的嵌入式溫室環(huán)境監(jiān)測系統(tǒng)設計 160次下載
- XML在嵌入式系統(tǒng)中的應用 31次下載
- 基于UML的嵌入式硬件系統(tǒng)模型 38次下載
- 基于Petri網的煤礦企業(yè)電子商務模型研究
- 基于OOPN的嵌入式系統(tǒng)的建模研究與實現(xiàn)
- 嵌入式系統(tǒng)USB接口的研究及設計
- 軟件項目管理在嵌入式系統(tǒng)中的應用研究
- 嵌入式系統(tǒng)中的實時操作系統(tǒng) 1.3k次閱讀
- 什么是嵌入式系統(tǒng)?嵌入式系統(tǒng)的具體應用 4k次閱讀
- 基于UML嵌入式軟件開發(fā)環(huán)境的自動取款機系統(tǒng)的應用方案 4.3k次閱讀
- 嵌入式系統(tǒng)的全面解析 3.7k次閱讀
- 如何實現(xiàn)嵌入式系統(tǒng)遠程調試 6.7k次閱讀
- UML軟件分析與建模技術在嵌入式指紋門禁系統(tǒng)中的應用研究 2.3k次閱讀
- 嵌入式FIFO數(shù)據(jù)傳輸系統(tǒng)詳解 4.9k次閱讀
- 基于μC/OS嵌入式操作系統(tǒng)的嵌入式數(shù)據(jù)管理設計 2.3k次閱讀
- 了解基于Zynq的嵌入式系統(tǒng)的研究 1.7k次閱讀
- 關于嵌入式系統(tǒng)以及其在印刷設備中的解決方案及應用淺析 945次閱讀
- 嵌入式系統(tǒng)的特點大匯總 6.5k次閱讀
- 隨機存儲器在嵌入式操作系統(tǒng)中的應用設計詳解 1.9k次閱讀
- 典型的嵌入式系統(tǒng)設計 3.1k次閱讀
- 嵌入式系統(tǒng)低功耗設計研究 1.7k次閱讀
- 嵌入式工業(yè)以太網的應用研究 6.7k次閱讀
下載排行
本周
- 1MDD品牌三極管MMBT3906數(shù)據(jù)手冊
- 2.33 MB | 次下載 | 免費
- 2MDD品牌三極管S9012數(shù)據(jù)手冊
- 2.62 MB | 次下載 | 免費
- 3聯(lián)想flex2-14D/15D說明書
- 4.92 MB | 次下載 | 免費
- 4收音環(huán)繞擴音機 AVR-1507手冊
- 2.50 MB | 次下載 | 免費
- 524Pin Type-C連接器設計報告
- 1.06 MB | 次下載 | 免費
- 6新一代網絡可視化(NPB 2.0)
- 3.40 MB | 次下載 | 免費
- 7MS1000TA 超聲波測量模擬前端芯片技術手冊
- 0.60 MB | 次下載 | 免費
- 8MS1022高精度時間測量(TDC)電路數(shù)據(jù)手冊
- 1.81 MB | 次下載 | 免費
本月
- 1愛華AIWA HS-J202維修手冊
- 3.34 MB | 37次下載 | 免費
- 2PC5502負載均流控制電路數(shù)據(jù)手冊
- 1.63 MB | 23次下載 | 免費
- 3NB-IoT芯片廠商的資料說明
- 0.31 MB | 22次下載 | 1 積分
- 4H110主板CPU PWM芯片ISL95858HRZ-T核心供電電路圖資料
- 0.63 MB | 6次下載 | 1 積分
- 5UWB653Pro USB口測距通信定位模塊規(guī)格書
- 838.47 KB | 5次下載 | 免費
- 6技嘉H110主板IT8628E_BX IO電路圖資料
- 2.61 MB | 4次下載 | 1 積分
- 7蘇泊爾DCL6907(即CHK-S007)單芯片電磁爐原理圖資料
- 0.04 MB | 4次下載 | 1 積分
- 8100W準諧振反激式恒流電源電路圖資料
- 0.09 MB | 2次下載 | 1 積分
總榜
- 1matlab軟件下載入口
- 未知 | 935137次下載 | 10 積分
- 2開源硬件-PMP21529.1-4 開關降壓/升壓雙向直流/直流轉換器 PCB layout 設計
- 1.48MB | 420064次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233089次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費下載
- 340992 | 191439次下載 | 10 積分
- 5十天學會AVR單片機與C語言視頻教程 下載
- 158M | 183353次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81602次下載 | 10 積分
- 7Keil工具MDK-Arm免費下載
- 0.02 MB | 73822次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65991次下載 | 10 積分
電子發(fā)燒友App





創(chuàng)作
發(fā)文章
發(fā)帖
提問
發(fā)資料
發(fā)視頻
上傳資料賺積分
評論