《電子技術(shù)應(yīng)用》
您所在的位置:首頁 > 嵌入式技術(shù) > 業(yè)界動(dòng)態(tài) > 將擴(kuò)展UML與Petri網(wǎng)應(yīng)用在嵌入式系統(tǒng)設(shè)計(jì)中的研究

將擴(kuò)展UML與Petri網(wǎng)應(yīng)用在嵌入式系統(tǒng)設(shè)計(jì)中的研究

2009-07-02
作者:劉 晉,,崔 健

  摘? 要: 隨著嵌入式系統(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)級任務(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)

?

將擴(kuò)展UML與Petri網(wǎng)應(yīng)用在嵌入式系統(tǒng)設(shè)計(jì)中的研究.pdf

本站內(nèi)容除特別聲明的原創(chuàng)文章之外,,轉(zhuǎn)載內(nèi)容只為傳遞更多信息,,并不代表本網(wǎng)站贊同其觀點(diǎn),。轉(zhuǎn)載的所有的文章、圖片,、音/視頻文件等資料的版權(quán)歸版權(quán)所有權(quán)人所有,。本站采用的非本站原創(chuàng)文章及圖片等內(nèi)容無法一一聯(lián)系確認(rèn)版權(quán)者。如涉及作品內(nèi)容,、版權(quán)和其它問題,,請及時(shí)通過電子郵件或電話通知我們,以便迅速采取適當(dāng)措施,,避免給雙方造成不必要的經(jīng)濟(jì)損失,。聯(lián)系電話:010-82306118;郵箱:[email protected],。