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

The Modeling Research and Implementation of Embedded Systems Based on OOPN

作　　者：高亮[1] 孟传良[1] 张成宇[1] 田野[1] 袁悦[1] 

机构地区：[1]贵州大学电子科学与信息技术学院,贵州贵阳550003

出　　处：《微计算机信息》2007年第29期9-11,共3页Control & Automation

基　　金：贵州省黔发改委2005年高新技术项目<贵州大学校园网IPv6示范工程>;省发改委;黔发改高技[20051141号]

摘　　要：本文结合了面向对象和Petri网两种建模方法的优点,提出了一种新的面向对象Petri网的建模方法。主要研究了面向对象Petri网方法在嵌入式系统设计中的具体应用,并通过实验对该方法进行了正确性论证以及资源分配情况的定量分析。该方法为嵌入式系统的设计提出了一种行之有效的形式化分析方法,使得复杂的嵌入式系统描述更加模块化,具有可重用性,大大提高了嵌入式系统建模和分析的效率。In this paper ,a new Object-oriented Petri net modeling is presented with both merits of Object-oriented modeling and Petri net modeling. This paper is mainly about the application of OOPN on the embedded systems, the validity of the model is proved based on the theories of OOPN by test, and the resource distribution of the system is analyzed. It provides an effective forrealization analysis method of embedded control systems design ,which has properties such as reusability and modularity. It greatly increases the efficiency of embedded systems modeling and analysis.

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

分 类 号：TP301[自动化与计算机技术—计算机系统结构]