×

UML与Petri网在嵌入式系统设计中的研究

消耗积分:0 | 格式:pdf | 大小:257 KB | 2011-08-18

分享资料个

 

随着嵌入式系统的不断发展，传统的嵌入式开发已经远远不能适应新的要求，需要借助IJ1 强大的系统设计能力来解决效率低下的问题，但是标准UML在多系统级任务并发，任务之间同步、系统仿真以及实时性方面没有提供足够的支持，很难直接应用到嵌入式系统的设计中。文章研究一种将时间约束Petri网和扩展UML相结合的方法，通过利用Petri描述异步性和并发性的能力来扩展UML 的构造型和流程图，通过将UML转化为Petri图，进而可以利用Petri强大的理论体系来验证IM 的正确性.
 
下载并关注上传者 低至0.43元/天 开通VIP 免费下载

声明：本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人，不代表电子发烧友网立场。文章及其配图仅供工程师学习之用，如有内容侵权或者其他违规问题，请联系本站处理。 举报投诉

评论(0)
发评论

下载排行榜

全部0条评论

快来发表一下你的评论吧 !