基于OOPN的嵌入式系统的建模研究与实现

摘要：

本文结合了面向对象和Petri网两种建模方法的优点,提出了一种新的面向对象Perri网的建模方法.主要研究了面向对象Petri网方法在嵌入式系统设计中的具体应用,并通过实验对该方法进行了正确性论证以及资源分配情况的定量分析.该方法为嵌入式系统的设计提出了一种行之有效的形式化分析方法,使得复杂的嵌入式系统描述更加模块化,具有可重用性,大大提高了嵌入式系统建模和分析的效率.

关键词：OOPN、嵌入式系统、Petri网、建模

所属期刊栏目：23

分类号：TP301(计算技术、计算机技术)

资助基金：贵州省黔发改委高新技术项目省发改委;黔发改高技[20051141号]

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

页数：共3页

页码：9-11