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