• The KIPS Transactions:PartA
• /
• v.19A no.1
• /
• pp.23-34
• /
• 2012

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.

• Proceedings of the KIPE Conference
• /
• 2013.07a
• /
• pp.457-458
• /
• 2013

본 논문은 Simulink 모델을 기반으로 하여 FPGA 알고리즘을 설계하는 과정을 구현하였다. Simulink 모델은 SRF-PLL 제어기법을 적용하였으며, Simulink 모델은 기본적으로 부동소수점으로 구성된다. 그러나 FPGA 구현에 필요한 VHDL 코드는 고정 소수점 변환이 필요하므로, 부동 소수점 모델을 고정 소수점으로 변환하고 두 연산 기법의 시뮬레이션 결과를 비교분석하였다.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.31 no.5
• /
• pp.100-109
• /
• 2003

A performacne simulation model of the PT6A-62 turboprop engine using the $SIMULINK^R$ was proposed to predict transient and steady state behaviors. The $SIMULINK^R$ has several advantages such as user-friendliness due to the GUI(Graphic User Interfaces) and ease in the modification of the computer program. The $SIMULINK^R$ model consists of subsystems to represent engine gas path components such as flight initial subsystem, compressor subsystem, burner subsystem, compressor turbine subsystem, power turbine, exhaust nozzle subsystem and integrator subsystem. In addition to subsystems, there are search subsystems to find an appropriate operating point by scaling from the 2-D components look-up table, Gasprop Subsystem to calculate the gas property precisely. In case of steady state validation, performance results analyzed by the proposed $SIMULINK^R$ model were agreed well with the analysis results by the commercial GASTURB program. Moreover in validation of the transient model, it was found that performance simulation results by the proposed model were reasonable agreement with analysis results by the well-proved computer program using FORTRAN.

• The KIPS Transactions:PartD
• /
• v.17D no.2
• /
• pp.111-118
• /
• 2010

In this paper, we describe the implementation of debugger that has advanced features for verifying Simulink model. The debugger provided in Simulink has some boring and repetitive work when verifying complicated Simulink models or complicated scenarios. In order to resolve the problems, this paper addresses the issues on the implementation of debugger that provides features such as a convenient feature to compare the simulation output to the expected output for specific input, to monitor system's behavior at specific time, and coverage report function in some or all input scenarios. The proposed debugger is applied to the vending machine model provided by Matlab, demonstrating its feasibility.

• KIPS Transactions on Software and Data Engineering
• /
• v.8 no.6
• /
• pp.235-242
• /
• 2019

This paper proposes a reusable test case extraction technique for modified MATLAB Simulink/Stateflow (SL/SF) model. Creating test cases for complicated SL/SF model like ECU(Electrical Control Unit) of automotive, requires a lot of time and effort. An intuitive way to reduce to create new test cases whenever the model changes, is to reuse some test cases which have been generated for the original model. In this paper, we propose a method to define reusable test cases in SL/SF after defining model behavior and judging model equality by test cases. The proposed technique is evaluated using a commercial automotive controller model.

• Proceedings of the Korean Society of Propulsion Engineers Conference
• /
• 2010.11a
• /
• pp.287-293
• /
• 2010

본 연구에서는 개방형 로켓엔진시스템의 제어시스템을 구성하기 위한 선행연구로서, 시동특성을 예측하기위해 Simulink 모델을 구성하였다. 구성품별 동특성 모델을 바탕으로 로켓엔진시스템의 예측 프로그램을 구성하였으며, 대상으로 하는 시스템의 천이 작동상태에서의 동특성 변화의 예측과 더불어 그 모델링의 타당성 검증을 위하여 실제 개방형 로켓엔진 상사모델의 수류실험을 통해 실험적으로 측정하여 비교하였다. 또한 Simulink모델이 제어시스템을 구성하기위해 적합한지를 판단하기위해 기 수행된 천이 동특성 예측 프로그램의 결과와 비교하였고 검증하였다.

• Journal of the Korea Society for Simulation
• /
• v.17 no.4
• /
• pp.219-227
• /
• 2008

The DEVS (Discrete Event Systems Specification) formalism supports specification of discrete event models in a hierarchical modular manner. MATLAB/Simulink is widely used for modeling, simulating and analyzing continuous and discrete time systems. This paper proposes a realization of the DEVS formalism in MATLAB/ Simulink. The proposed design enables to use a great amount of mathematical packages and functions included in MATLAB /Simulink. The design is also employed as real time simulation and hybrid system simulation which is a mixture of continuous systems and discrete event systems. The paper introduces Simulink-DEVS model, in which a simulation algorithm is embedded. The model consists of a Simulink-atomic model and a Simulink-coupled model. In addition, the time advance algorithm to simulate the model is suggested. The algorithm handles the time synchronization and the accommodation of different concepts specific to continuous and discrete event models. Two experimental results are presented for a pure discrete event model and a hybrid model.

• KIPS Transactions on Software and Data Engineering
• /
• v.2 no.12
• /
• pp.829-840
• /
• 2013

This paper proposes a modified RRT (Rapidly exploring Random Tree) algorithm utilizing a heuristic input analysis and suggests a test case generation method from Simulink/Stateflow model using the proposed RRT algorithm. Though the typical RRT algorithm is an efficient method to solve the reachability problem to definitely be resolved for generating test cases of model in a black box manner, it has a drawback, an inefficiency of test case generation that comes from generating random inputs without considering the internal states and the test targets of model. The proposed test case generation method increases efficiency of test case generation by analyzing the test targets to be satisfied at the current state and heuristically deciding the inputs of model based on the analysis during expanding an RRT, while maintaining the merit of RRT algorithm. The proposed method is evaluated with the models of ECUs embedded in a commercial passenger's car. The performance is compared with that of the typical RRT algorithm.

• Proceedings of the KIPE Conference
• /
• 2011.07a
• /
• pp.573-574
• /
• 2011

본 논문에서는 DC-DC 컨버터의 설계 및 해석 방법을 PSpice와 Simulink를 이용한 Co-Simulation방법으로 제안하였다. 일반적인 회로 및 제어기 설계방식은 회로와 제어기를 각각 설계하여 시제품으로 측정하는 방법과 이상적인 모델을 이용하여 시뮬레이션 하는 방법을 사용한다. 본 논문에서는 상용 소자모델로 구성된 컨버터를 PSpice로 설계하였고, Simulink에서 PSpice Solver를 이용하여 시뮬레이션 함으로써 일반적인 설계 방식보다 높은 신뢰성을 가진 시뮬레이션 방법을 제안한다.

• Proceedings of the KIPE Conference
• /
• 2010.07a
• /
• pp.391-392
• /
• 2010

본 논문에서는 조류발전 시스템의 시험을 위한 시뮬레이터를 구현하였다. 조류발전 시뮬레이터 모델은 회전자 모델, MPPT 알고리즘, 발전기 등을 포함하고 있으며 Matlab Simulink를 이용해 구현했다. 제안한 조류 발전용 시뮬레이터를 이용해 조류발전에서 주속비(Tip Speed Ratio) 제어방식의 출력 특성에 대한 시뮬레이션을 수행하여 그 타당성을 분석하였다.