TIMER EMBEDDED FINITE STATE MACHINE MODELING AND ITS APPLICATION

被引：0

作者：

Lee, Duckwoong ^{[1
]}

Choi, Byoung K. ^{[1
]}

Kong, Joohoe ^{[1
]}

机构：

[1] Korea Adv Inst Sci & Technol, Dept Ind & Syst Engn, Taejon 305701, South Korea

来源：

PROCEEDINGS OF THE 24TH EUROPEAN CONFERENCE ON MODELLING AND SIMULATION ECMS 2010 | 2010年

关键词：

Timer Embedded; Finite State Machine; Synchronization Manager; TEFSM Toolkit;

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

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.

引用

页码：153 / 159

页数：7

共 50 条

[1] Finite-state machine for embedded systems
Galan, Peter
Control Engineering, 2021, 68 (10): : 27 - 30
[2] The Application of Finite State Machine in Modeling and Control of Gene Mutation Process
Gao, Rui
Hu, Wensong
Tarn, Tzyh-Jong
IEEE TRANSACTIONS ON NANOBIOSCIENCE, 2013, 12 (04) : 265 - 274
[3] Test Translation for Embedded Finite State Machine Components
El-Fakih, Khaled
Yevtushenko, Nina
COMPUTER JOURNAL, 2016, 59 (12): : 1805 - 1816
[4] APPROACHES TO FINITE-STATE MACHINE MODELING
ODELL, J
JOURNAL OF OBJECT-ORIENTED PROGRAMMING, 1995, 7 (08): : 14 - &
[5] Modeling and simulation of finite state machine memory built-in self test architecture for embedded memories
Haron, Nor Zaidi
Yunus, Sit Aisah Mat Junos
Razak, Abdul Hadi Abdul
Idris, Mohd. Yamani Idna
2007 ASIA-PACIFIC CONFERENCE ON APPLIED ELECTROMAGNETICS, PROCEEDINGS, 2007, : 397 - +
[6] FINITE STATE MACHINE MODELING OF CRYPTOGRAPHIC SYSTEMS IN LOOPS
PICHLER, F
LECTURE NOTES IN COMPUTER SCIENCE, 1988, 304 : 65 - 73
[7] Utilization of finite state machine approach for microgrid modeling
Martina Kajanova
Peter Bracinik
Marek Roch
Electrical Engineering, 2020, 102 : 53 - 63
[8] Utilization of finite state machine approach for microgrid modeling
Kajanova, Martina
Bracinik, Peter
Roch, Marek
ELECTRICAL ENGINEERING, 2020, 102 (01) : 53 - 63
[9] Modeling and Analysis of Metabolism Process with Finite State Machine
Gao, Rui
Hu, Wen-Song
Zhang, Cheng-Qiu
ADVANCED RESEARCH ON ENGINEERING MATERIALS, ENERGY, MANAGEMENT AND CONTROL, PTS 1 AND 2, 2012, 424-425 : 250 - +
[10] A Complexity Metric for Concurrent Finite State Machine Based Embedded Software
Guo, Liangpeng
Vincentelli, Alberto Sangiovanni
Pinto, Alessandro
2013 8TH IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS (SIES), 2013, : 189 - 195

← 1 2 3 4 5 →