将扩展UML 与Petri网应用在嵌入式系统设计中.ppt

将扩展UML 与Petri网应用在嵌入式系统设计中 1研究背景 * * 2嵌入式系统,UML,Petri网的介绍 3时间约束Petri网和扩展UML相结合 1研究背景 4 应用实例 随着嵌入式系统的不断发展，传统的嵌入式开发已经远远不能适应新的要求，需要借助UML 强大的系统设计能力来解决效率低下的问题，但是标准UML 在多系统级任务并发，任务之间同步、系统仿真以及实时性方面没有提供足够的支持，很难直接应用到嵌入式系统的设计中。本文研究了一种将时间约束Petri 网和扩展UML 相结合的方法， 通过利用Petri 描述异步性和并发性的能力来扩展UML 的构造型和流程图， 通过将UML 转化为Petri 图， 进而可以利用Petri 强大的理论体系来验证UML 的正确性。 2.1 嵌入式系统 嵌入式系统(embedded system) 是嵌入到目标应用系统中的计算机系统， 是集计算机技术、通信技术、半导体技术、传感器技术等先进技术为一体的后PC 时代标志性的产物， 存在于各种常见的电子设备、家用电器、通信设备以及医疗器械中， 已成为国防、汽车、电力、制造业等各个行业不可缺少的科技力量。然而伴随着嵌入式应用的不断发展， 嵌入式系统的复杂性、不确定性以及系统规模不断地扩大， 传统的嵌入式开发和设计已经远远不能适应新的要求， 各国的嵌入式系统设计专家也展开了