将扩展UML与Petri网应用在嵌入式系统设计中的研究

将扩展UML与Petri网应用在嵌入式系统设计中的研究

刘晋;崔健

【期刊名称】《微型机与应用》 【年(卷),期】2009(028)009

【摘要】随着嵌入式系统的不断发展,传统的嵌入式开发已经远远不能适应新的要求,需要借助UML强大的系统设计能力来解决效率低下的问题,但是标准UML在多系统级任务并发,任务之间同步、系统仿真以及实时性方面没有提供足够的支持,很难直接应用到嵌入式系统的设计中.本文研究了一种将时间约束Petri网和扩展UML相结合的方法,通过利用Petri描述异步性和并发性的能力来扩展UML的构造型和流程图,通过将UML转化为Petri图,进而可以利用Petri强大的理论体系来验证UML的正确性. 【总页数】4页(6-9)

【关键词】嵌入式系统;UML;Petri网 【作者】刘晋;崔健

【作者单位】辽宁师范大学,计算机与信息技术学院,辽宁,大连,116081;辽宁师范大学,计算机与信息技术学院,辽宁,大连,116081 【正文语种】中文 【中图分类】TP311 【相关文献】

1.扩展UML与Petri网应用在嵌入式系统设计中的研究 [J], 刘晋; 崔健 2.基于UML与Petri网的嵌入式系统设计与验证 [J], 廖晓文; 刘美 3.一种嵌入式系统扩展流关系Petri网及应用 [C], 张辉; 董荣胜; 高西

4.UML在嵌入式系统设计中的应用 [J], 王海; 黄承安

5.嵌入式系统协同设计中的扩展双变迁Petri网技术 [J], 孟瑜; 古天龙

以上内容为文献基本信息，获取文献全文请下载