zip

Research on UML and Petri Net in Embedded System Design

  • 2013-09-22
  • 257.25KB
  • Points it Requires : 2

  With the continuous development of embedded systems, traditional embedded development is far from meeting new requirements. It is necessary to use the powerful system design capabilities of IJ1 to solve the problem of low efficiency. However, standard UML does not provide sufficient support in multi-system-level task concurrency, synchronization between tasks, system simulation and real-time performance, and it is difficult to directly apply it to the design of embedded systems. This paper studies a method that combines time-constrained Petri nets with extended UML. By using Petri\'s ability to describe asynchrony and concurrency to extend UML\'s stereotypes and flow charts, and by converting UML into Petri diagrams, the powerful theoretical system of Petri can be used to verify the correctness of IM.  

unfold

You Might Like

Uploader
lamaba
 

Recommended ContentMore

Popular Components

Just Take a LookMore

EEWorld
subscription
account

EEWorld
service
account

Automotive
development
circle

About Us Customer Service Contact Information Datasheet Sitemap LatestNews


Room 1530, 15th Floor, Building B, No.18 Zhongguancun Street, Haidian District, Beijing, Postal Code: 100190 China Telephone: 008610 8235 0740

Copyright © 2005-2024 EEWORLD.com.cn, Inc. All rights reserved 京ICP证060456号 京ICP备10001474号-1 电信业务审批[2006]字第258号函 京公网安备 11010802033920号
×