资料下载
×
基于OOPN的嵌入式系统的建模研究与实现
消耗积分:2 |
格式:rar |
大小:153 |
2009-08-15
王银喜
分享资料个
本文结合了面向对象和Petri 网两种建模方法的优点，提出了一种新的面向对象Petri 网的建模方法。主要研究了面向对象Petri 网方法在嵌入式系统设计中的具体应用，并通过实验对该方法进行了正确性论证以及资源分配情况的定量分析。该方法为嵌入式系统的设计提出了一种行之有效的形式化分析方法，使得复杂的嵌入式系统描述更加模块化，具
有可重用性，大大提高了嵌入式系统建模和分析的效率。
关键词：OOPN；嵌入式系统；Petri 网；建模
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 formalization 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
有可重用性，大大提高了嵌入式系统建模和分析的效率。
关键词：OOPN；嵌入式系统；Petri 网；建模
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 formalization 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
声明：本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人，不代表电子发烧友网立场。文章及其配图仅供工程师学习之用，如有内容侵权或者其他违规问题，请联系本站处理。 举报投诉
评论(0)
发评论
- 相关下载
- 相关文章
