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. |
Year | Venue | Keywords |
---|---|---|
2010 | PROCEEDINGS OF THE 24TH EUROPEAN CONFERENCE ON MODELLING AND SIMULATION ECMS 2010 | Timer Embedded, Finite State Machine, Synchronization Manager, TEFSM Toolkit |
Field | DocType | Citations |
Synchronization,Discrete event system,Architecture,Executor,Computer science,Modeling and simulation,Real-time computing,Finite-state machine,Virtual finite-state machine,Timer,Embedded system | Conference | 1 |
PageRank | References | Authors |
0.37 | 2 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Duckwoong Lee | 1 | 3 | 1.09 |
Byoung Kyu Choi | 2 | 58 | 11.50 |
Joohoe Kong | 3 | 1 | 1.05 |