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