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

The Modeling Research and Implementation of Embedded Systems Based on OOPN

本文结合了面向对象和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.