基于等级PRES+的嵌入式系统的建模与实现

摘要：

为了有效的描绘规模较大的系统,需要一个分层机制,使模型可以有条理地构建.它由简单的单元组件构成,使得设计师在每个描述级上都可以很容易理解.提出并定义了用于形式化描述嵌入式系统建模的petri网的分层概念,显示了一个规模较大系统中的小部件如何使用层次的概念进行转换.该方法使得复杂的嵌入式系统描述更加模块化,具有可重用性,提高了嵌入式系统建模和分析的效率.通过一个实例表明了该方法的可行性.

关键词：等级PRES+、嵌入式系统、Petri网、建模、形式化描述

所属期刊栏目：30

分类号：TP311.5(计算技术、计算机技术)

在线出版日期：2010-03-15（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：5630-5632,5636