摘要
随着嵌入式系统的不断发展,传统的嵌入式开发已经远远不能适应新的要求,需要借助UML强大的系统设计能力来解决效率低下的问题,但是标准UML在多系统级任务并发,任务之间同步、系统仿真以及实时性方面没有提供足够的支持,很难直接应用到嵌入式系统的设计中。本文研究了一种将时间约束Petri网和扩展UML相结合的方法,通过利用Petri描述异步性和并发性的能力来扩展UML的构造型和流程图,通过将UML转化为Petri图,进而可以利用Petri强大的理论体系来验证UML的正确性。
With the continuous improvement of embedded system, the traditional embedded design approach can＇t adapt to the new request yet. In order to resolve the problem of poor efficiency, we must depend on the powerful systemic design capacity of UML. However there are difficulties to apply standard UML into embedded design directly for its deficient support in aspects of multi-system level tasks, synchronism, system simulate and real time nature. This paper will research a method of integration of the timing constraint Petri nets with extending UML. By making use of Petri＇s capacity to describe multiple tasks and synchronization to expand the UML structure and flow chart, and converting UML into Petri, verifies correctness of UML through Petri＇s powerful mathematical system.
