摘? 要： 隨著嵌入式系統的不斷發展，傳統的嵌入式開發已經遠遠不能適應新的要求，需要借助UML強大的系統設計能力來解決效率低下的問題，但是標準 UML在多系統級任務并發，任務之間同步、系統仿真以及實時性方面沒有提供足夠的支持，很難直接應用到嵌入式系統的設計中。本文研究了一種將時間約束Petri網和擴展UML相結合的方法，通過利用Petri描述異步性和并發性的能力來擴展UML的構造型和流程圖，通過將UML轉化為Petri圖，進而可以利用Petri強大的理論體系來驗證UML的正確性。
??? 關鍵詞： 嵌入式系統；UML；Petri網
?
將擴展UML與Petri網應用在嵌入式系統設計中的研究.pdf
本站內容除特別聲明的原創文章之外，轉載內容只為傳遞更多信息，并不代表本網站贊同其觀點。轉載的所有的文章、圖片、音/視頻文件等資料的版權歸版權所有權人所有。本站采用的非本站原創文章及圖片等內容無法一一聯系確認版權者。如涉及作品內容、版權和其它問題，請及時通過電子郵件或電話通知我們，以便迅速采取適當措施，避免給雙方造成不必要的經濟損失。聯系電話：010-82306118；郵箱：[email protected]。