National Changhua University of Education Institutional Repository : Item 987654321/15846
English  |  正體中文  |  简体中文  |  全文笔数/总笔数 : 6498/11670
造访人次 : 26049271      在线人数 : 90
RC Version 3.2 © Powered By DSPACE, MIT. Enhanced by NTU Library IR team.
搜寻范围 进阶搜寻


题名: 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
显示于类别:[資訊管理學系所] 期刊論文


档案 大小格式浏览次数



DSpace Software Copyright © 2002-2004  MIT &  Hewlett-Packard  /   Enhanced by   NTU Library IR team Copyright ©   - 回馈