|
|
Digital Library of the
European Council for Modelling and Simulation |
|
Title: |
Timer
Embedded Finite State Machine Modeling And Its Application |
|
Authors: |
Duckwoong Lee, Byoung K. Choi,
Joohoe Kong |
|
Published in:
|
(2010).ECMS
2010 Proceedings edited by A Bargiela S A Ali D
Crowley E J H Kerckhoffs. European Council for
Modeling and Simulation. doi:10.7148/2010 ISBN:
978-0-9564944-1-2 24th
European Conference on Modelling and Simulation, Simulation Meets Global Challenges Kuala
Lumpur, June 1-4 2010 |
|
Citation
format: |
Lee, D., Choi,
B. K., & Kong, J. (2010). Timer Embedded Finite State Machine Modeling
And Its Application. ECMS 2010 Proceedings edited by A Bargiela
S A Ali D Crowley E J H Kerckhoffs (pp. 153-159).
European Council for Modeling and Simulation. doi:10.7148/2010-0153-0159 |
|
DOI: |
http://dx.doi.org/10.7148/2010-0153-0159 |
|
Abstract: |
In this paper, we propose an
extension of classical finite state machine as it called a timer embedded
finite state machine (TEFSM) with its formal modeling methods. In the
proposed state-based approach, a discrete event system is modeled as a
coupled TEFSM. Also presented is a systematic procedure and architecture of
developing a simulation executor with a synchronization manager for the
coupled TEFSM model. A TEFSM toolkit for modeling and simulation of the
proposed TEFSM model has been implemented and a ping pong
system was developed as an illustrative example. |
|
Full
text: |
|
