資料載入中.....
|
請使用永久網址來引用或連結此文件:
http://ir.ncue.edu.tw/ir/handle/987654321/15846
|
| 題名: | Object-Oriented Development of the Embedded System Based on Petri-Nets |
| 作者: | Huang, Chun-Che;Liang, Wen-Yau |
| 貢獻者: | 資訊管理學系 |
| 關鍵詞: | Embedded system;Object-oriented;Petri-net;Reachability tree;Generalized label-correcting algorithm |
| 日期: | 2004-05
|
| 上傳時間: | 2013-03-12T04:15:50Z
|
| 出版者: | Elsevier |
| 摘要: | Embedded systems are an emerging field that has commanded attention and support from the industrial community. They have been a part of daily life today. However, complex behaviors and a lack of reusability and modularization have been obstacles to the development of successful embedded systems. A typical issue or challenge of embedded system design lies on the synthesis of software and hardware. Currently, a paradigm shift towards object-oriented (OO) techniques has been advocated in hope of increasing the reusability and modularization. In this paper, an object-oriented development method of the embedded system based on Petri-nets is proposed. The concurrent ability of Petri-nets assists the concurrent co-design of embedded systems synchronously. In addition, the paper applies the reachability tree and the generalized label-correcting (GLC) algorithm to analyze and to validate the designed processes in object-oriented Petri-net models. This solution approach is novel in a sense that by combining various operators and comparators, different types of developing problems in embedded systems can be solved with one algorithm for different values of the initial node. |
| 關聯: | Computer Standards & Interfaces, 26(3): 187-203 |
| 顯示於類別: | [資訊管理學系所] 期刊論文
|
文件中的檔案:
| 檔案 |
大小 | 格式 | 瀏覽次數 |
|---|
| index.html | 0Kb | HTML | 663 | 檢視/開啟 |
|
在NCUEIR中所有的資料項目都受到原著作權保護.
|
