Object-Oriented Petri Nets Modeling of Micro Kernel for Intelligent Virtual System Development

• Main Authors: Chien-Lin Chen, 陳建霖
• Other Authors: Jiun-Haur Tarn
• Format: Others
• Language: zh-TW
• Published: 2002
• Online Access: http://ndltd.ncl.edu.tw/handle/b2kmku

碩士 === 國立成功大學 === 航空太空工程學系碩博士班 === 90 === In this dissertation, we try to establish Petri Nets of real-time kernel. Under this designing system, we utilized object-oriented analysis technique to establish Petri Nets system model of software and hardware, and build the development environment with the Petri Nets of real-time system. By this way, we can establish the virtual system of Petri Nets, and simulate the operation condition of the system to verify the performances of the system by Petri Nets. We can resolve the designing problems in software and hardware, and integrate the designing results of both hardware and software. A modularized structure can easily reduce the costs of both the maintenance and the debugging. By using the conception of the class and the object, it becomes feasible to promote the reusability of the system and decrease the time consuming of the process developing the similar system. We used system engineering as a means to integrate all kinds of development methods in an attempt to complete the standard development procedures. These results will be used to build up a perfect virtual system and set up a model of a real system in order to reduce designing mistake unnecessary of the system.