| 基于OOPN的嵌入式系统的建模研究与实现 |
| |
| 引用本文： | 高亮,孟传良,张成宇,田野,袁悦.基于OOPN的嵌入式系统的建模研究与实现[J].微计算机信息,2007,23(29):9-11. |
| |
| 作者姓名： | 高亮 孟传良 张成宇 田野 袁悦 |
| |
| 作者单位： | 贵州大学,电子科学与信息技术学院,贵州贵阳,550003 |
| |
| 基金项目： | 基金项目：贵州省黔发改委2005年高新技术项目〈贵州大学校园网IPv6示范工程〉.省发改委.黔发改高技[20051141号] |
| |
| 摘 要： | 本文结合了面向对象和Petri网两种建模方法的优点，提出了一种新的面向对象Petri网的建模方法。主要研究了面向对象Petri网方法在嵌入式系统设计中的具体应用，并通过实验对该方法进行了正确性论证以及资源分配情况的定量分析。该方法为嵌入式系统的设计提出了一种行之有效的形式化分析方法，使得复杂的嵌入式系统描述更加模块化，具有可重用性，大大提高了嵌入式系统建模和分析的效率。
|
| 关 键 词： | OOPN 嵌入式系统 Petri网 建模 |
| 文章编号： | 1008-0570（2007）10-2-0009-03 |
| 修稿时间： | 2007-08-232007-09-25 |
The Modeling Research and Implementation of Embedded Systems Based on OOPN |
| |
| GAO LIANG,MENG CHUANLIANG,ZHANG CHENYU,TIAN YE,YUAN YUE.The Modeling Research and Implementation of Embedded Systems Based on OOPN[J].Control & Automation,2007,23(29):9-11. |
| |
| Authors: | GAO LIANG MENG CHUANLIANG ZHANG CHENYU TIAN YE YUAN YUE |
| |
| Abstract: | 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. |
| |
| Keywords: | OOPN Embedded Systems Petri Net Modeling |
| 本文献已被 维普 万方数据 等数据库收录！ |
