基于等级PRES+的嵌入式系统的建模与实现
为了有效的描绘规模较大的系统,需要一个分层机制,使模型可以有条理地构建.它由简单的单元组件构成,使得设计师在每个描述级上都可以很容易理解.提出并定义了用于形式化描述嵌入式系统建模的petri网的分层概念,显示了一个规模较大系统中的小部件如何使用层次的概念进行转换.该方法使得复杂的嵌入式系统描述更加模块化,具有可重用性,提高了嵌入式系统建模和分析的效率.通过一个实例表明了该方法的可行性.
等级PRES+、嵌入式系统、Petri网、建模、形式化描述
30
TP311.5(计算技术、计算机技术)
2010-03-15(万方平台首次上网日期,不代表论文的发表时间)
共4页
5630-5632,5636