將擴(kuò)展UML與Petri網(wǎng)應(yīng)用在嵌入式系統(tǒng)設(shè)計(jì)中的研究
所屬分類：技術(shù)論文
上傳者：aet
文檔大?。?span>262 K
標(biāo)簽： Petri網(wǎng) 嵌入式系統(tǒng) UML
所需積分：0分積分不夠怎么辦,？
文檔介紹：摘 要： 隨著嵌入式系統(tǒng)的不斷發(fā)展，傳統(tǒng)的嵌入式開發(fā)已經(jīng)遠(yuǎn)遠(yuǎn)不能適應(yīng)新的要求,，需要借助UML強(qiáng)大的系統(tǒng)設(shè)計(jì)能力來解決效率低下的問題,，但是標(biāo)準(zhǔn) UML在多系統(tǒng)級(jí)任務(wù)并發(fā),，任務(wù)之間同步、系統(tǒng)仿真以及實(shí)時(shí)性方面沒有提供足夠的支持,，很難直接應(yīng)用到嵌入式系統(tǒng)的設(shè)計(jì)中,。本文研究了一種將時(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的正確性。 關(guān)鍵詞： 嵌入式系統(tǒng),；UML,；Petri網(wǎng)
現(xiàn)在下載
VIP會(huì)員，AET專家下載不扣分,；重復(fù)下載不扣分,，本人上傳資源不扣分。