将扩展UML与Petri网应用在嵌入式系统设计中的研究
2009-07-02
作者：刘 晋，崔 健
摘 要：随着嵌入式系统的不断发展，传统的嵌入式开发已经远远不能适应新的要求，需要借助UML强大的系统设计能力来解决效率低下的问题，但是标准 UML在多系统级任务并发，任务之间同步、系统仿真以及实时性方面没有提供足够的支持，很难直接应用到嵌入式系统的设计中。本文研究了一种将时间约束Petri网和扩展UML相结合的方法，通过利用Petri描述异步性和并发性的能力来扩展UML的构造型和流程图，通过将UML转化为Petri图，进而可以利用Petri强大的理论体系来验证UML的正确性。
关键词：嵌入式系统；UML；Petri网
将扩展UML与Petri网应用在嵌入式系统设计中的研究.pdf
本站内容除特别声明的原创文章之外，转载内容只为传递更多信息，并不代表本网站赞同其观点。转载的所有的文章、图片、音/视频文件等资料的版权归版权所有权人所有。本站采用的非本站原创文章及图片等内容无法一一联系确认版权者。如涉及作品内容、版权和其它问题，请及时通过电子邮件或电话通知我们，以便迅速采取适当措施，避免给双方造成不必要的经济损失。联系电话：010-82306116；邮箱：aet@chinaaet.com。