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

下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- 嵌入式技術(shù)在CCD成像系統(tǒng)中的應(yīng)用研究
- 嵌入式軟PLC系統(tǒng)的研究和實現(xiàn)
- DSP與MCU在嵌入式系統(tǒng)中的應(yīng)用
- DSP在嵌入式系統(tǒng)中的應(yīng)用實例
- DSP在高速數(shù)據(jù)處理的嵌入式系統(tǒng)研究與應(yīng)用
- 用于嵌入式系統(tǒng)建模的擴展PRES網(wǎng) 0次下載
- 基于ARM的嵌入式系統(tǒng)在直流系統(tǒng)接地故障定位中的研究 13次下載
- Petri網(wǎng)在計費系統(tǒng)中的應(yīng)用研究_侯煜 0次下載
- 基于UML的嵌入式軟件建模研究馮林 0次下載
- 基于UML的嵌入式溫室環(huán)境監(jiān)測系統(tǒng)設(shè)計 160次下載
- XML在嵌入式系統(tǒng)中的應(yīng)用 31次下載
- 基于UML的嵌入式硬件系統(tǒng)模型 38次下載
- 基于OOPN的嵌入式系統(tǒng)的建模研究與實現(xiàn)
- 嵌入式系統(tǒng)USB接口的研究及設(shè)計
- 軟件項目管理在嵌入式系統(tǒng)中的應(yīng)用研究
- 嵌入式系統(tǒng)中的實時操作系統(tǒng) 520次閱讀
- 什么是嵌入式系統(tǒng)?嵌入式系統(tǒng)的具體應(yīng)用 2565次閱讀
- 基于UML嵌入式軟件開發(fā)環(huán)境的自動取款機系統(tǒng)的應(yīng)用方案 3777次閱讀
- 嵌入式系統(tǒng)的全面解析 3281次閱讀
- 如何實現(xiàn)嵌入式系統(tǒng)遠程調(diào)試 5406次閱讀
- UML軟件分析與建模技術(shù)在嵌入式指紋門禁系統(tǒng)中的應(yīng)用研究 1904次閱讀
- 嵌入式FIFO數(shù)據(jù)傳輸系統(tǒng)詳解 4398次閱讀
- 基于μC/OS嵌入式操作系統(tǒng)的嵌入式數(shù)據(jù)管理設(shè)計 1241次閱讀
- 了解基于Zynq的嵌入式系統(tǒng)的研究 1432次閱讀
- 關(guān)于嵌入式系統(tǒng)以及其在印刷設(shè)備中的解決方案及應(yīng)用淺析 690次閱讀
- 嵌入式系統(tǒng)的特點大匯總 5896次閱讀
- 隨機存儲器在嵌入式操作系統(tǒng)中的應(yīng)用設(shè)計詳解 1433次閱讀
- 典型的嵌入式系統(tǒng)設(shè)計 2716次閱讀
- 嵌入式系統(tǒng)低功耗設(shè)計研究 1323次閱讀
- 嵌入式工業(yè)以太網(wǎng)的應(yīng)用研究 1514次閱讀
下載排行
本周
- 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次下載 | 免費
評論