将扩展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