將擴展UML與Petri網(wǎng)應用在嵌入式系統(tǒng)設計中的研究
所屬分類：技術論文
上傳者：aet
文檔大?。?span>262 K
標簽： Petri網(wǎng) 嵌入式系統(tǒng) UML
所需積分：0分積分不夠怎么辦？
文檔介紹：摘 要： 隨著嵌入式系統(tǒng)的不斷發(fā)展，傳統(tǒng)的嵌入式開發(fā)已經(jīng)遠遠不能適應新的要求，需要借助UML強大的系統(tǒng)設計能力來解決效率低下的問題，但是標準 UML在多系統(tǒng)級任務并發(fā)，任務之間同步、系統(tǒng)仿真以及實時性方面沒有提供足夠的支持，很難直接應用到嵌入式系統(tǒng)的設計中。本文研究了一種將時間約束Petri網(wǎng)和擴展UML相結(jié)合的方法，通過利用Petri描述異步性和并發(fā)性的能力來擴展UML的構造型和流程圖，通過將UML轉(zhuǎn)化為Petri圖，進而可以利用Petri強大的理論體系來驗證UML的正確性。 關鍵詞： 嵌入式系統(tǒng)；UML；Petri網(wǎng)
現(xiàn)在下載
VIP會員，AET專家下載不扣分；重復下載不扣分，本人上傳資源不扣分。