Browse > Article
http://dx.doi.org/10.3745/KIPSTA.2012.19A.1.023

Implementation of the Simulink Execution Module by Applying Automata Theory  

Kim, Kyung-Joon (아주대학교 전자공학과)
Chung, Ki-Hyun (아주대학교 전자공학부)
Choi, Kyung-Hee (아주대학교 정보통신전문대학원)
Abstract
This paper suggests that implementation of the Simulink execution module controls Simulink simulation and shows simulation results by applying Automata theory. This module is composed of three independent systems that the main program to accept user commands, the thread to control a simulation of Simulink model and the Simulink model to execute simulation. This paper designs each module and entire system by applying Automata theory, and implements it with C# and MATLAB language. And the Simulink execution module implemented will be verified through the experiment.
Keywords
Simulink Execution Module; Automata; Simulink Model Design Test; Simulink Model Debug;
Citations & Related Records
연도 인용수 순위
  • Reference
1 Christos G. Cassandras and Stephane Lafortune, Introdunction to Descrete Event Systems. 2nd edition, Springer, New York, pp.62-133.
2 Electrical Engineering and Computer Science, https:// www.eecs.umich.edu/umdes/projects/lib/download_access/s ubmit_desuma.html
3 DESUMA Software, http://www.eecs.umich.edu/umdes/ toolboxes.html
4 The Mathworks, http://www.mathworks.com/help/ toolbox/simulink/ slref/f23-7515.html
5 The Mathworks, MATLAB(R) 7 External Interfaces, pp.323-452, 2010
6 The Mathworks, http://www.mathworks.com/help/ toolbox/simulink/ ug/f11-61851.html
7 The Mathworks, http://www.mathworks.com/products/simulink/
8 송문빈, 송태훈, 오재곤, 정연모, "효율적인 통합 시뮬레이션에 의한 스피커 연결 시스템의 SoC 설계," 전자공학회논문지, 제 43권 SD편, 제10호, pp.671-676, 2006.
9 BTS Technologies inc., http://www.btstech.co.kr/
10 서희석, 정인상, 김병만, 권용래, "Java 다중 스레드 프로그램을 위한 오토마타 기반 테스팅 환경의 설계 및 구현," 정보과학회논문지, 소프트웨어 및 응용 제 29권, 제 11.12호, pp.883-894, 2002.