본 연구에서는 오토마타 이론을 적용하여 Simulink 모델의 각종 정보를 보여주고 시뮬레이션 결과를 출력하는 모듈 구조를 제안하고, 이를 구현하였다. 이 모듈은 사용자로부터 명령을 받아서 Simulink 모델의 각종 내부 정보와 시뮬레이션 결과를 보여주는 기능을 제공하는 메인 프로그램과 Simulink 모델의 시뮬레이션을 제어하기 위한 별도의 스레드, 그리고 실제로 시뮬레이션을 수행하는 Simulink 모델의 세 가지 독립적인 시스템으로 이루어져 있다. 오토마타를 이용하여 각 시스템과 전체 모듈을 설계 및 검증하고, C# 과 MATLAB을 통해 이를 구현한다. 그리고 구현된 모듈의 동작을 실제 모델을 통한 실험으로 검증하였다.
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.
