將擴展UML與Petri 網應用在嵌入式系統設計中的研究 | |
所屬分類:技術論文 | |
上傳者:aet | |
文檔大小:302 K | |
所需積分:0分積分不夠怎么辦? | |
文檔介紹:隨著嵌入式系統的不斷發展,傳統的嵌入式開發已經遠遠不能適應新的要求,需要借助UML強大的系統設計能力來解決效率低下的問題,但是標準UML在多系統級任務并發,任務之間同步、系統仿真以及實時性方面沒有提供足夠的支持,很難直接應用到嵌入式系統的設計中。文章研究一種將時間約束Petri網和擴展UML相結合的方法,通過利用Petri描述異步性和并發性的能力來擴展UML的構造型和流程圖,通過將UML轉化為Petri圖,進而可以利用Petri強大的理論體系來驗證UML的正確性。 | |
現在下載 | |
VIP會員,AET專家下載不扣分;重復下載不扣分,本人上傳資源不扣分。 |
Copyright ? 2005-2024 華北計算機系統工程研究所版權所有 京ICP備10017138號-2