• 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.

• 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.

• 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.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.37 no.4
• /
• pp.359-366
• /
• 2009

MATLAB Autocode generation is a feature that converts a block diagram model in Simulink to a c program. Utilizing this function makes MATLAB/Simulink an integrated developing environment, from controller design to implementation. It can reduce development cost and time significantly. However, this automated process requires high reliability on the software, especially the original Simulink block diagram model. And thus, the verification of the codes becomes important. In this study, a UAV flight program which is generated with Simulink is validated and modified according to DO-178B. As a result of applying the procedures, the final program not only satisfied the functional requirement but is also verified with structural point of view with Decision Coverage 93%, Condition Coverage 95% and MC/DC 90%.

• Proceedings of the KIPE Conference
• /
• 1999.07a
• /
• pp.439-442
• /
• 1999

In this paper presents a modeling method for simulation of Tration Motor using Matlab/Simulink This model is well adopted in the traction motor and speed, torque estimation. This model consist o IM(induction motor) block, Load block and controller blocks. This paper use the indirect vecto control Because improve accuracy speed characters. The result show the better speed and torque characters. And effectiveness of Matlab/Simulink in simulations.

• Proceedings of the KIEE Conference
• /
• 2008.10c
• /
• pp.145-147
• /
• 2008

In this paper, the implementation of the Permanent Magnet Synchronous Machine (PMSM) model based on the Matlab/Simulink is described. Due to the analysis of the mathematical dq-modeling, a vector controlled PMSM drive simulation is approached. With the simulated system, unlike in black block models, all machine parameters are accessible for control and verification. Based on the Matlab/Simulink, the model of the PMSM with load torque is established, the simulation is studied and some conclusions are given.

• Journal of the Korean Institute of Illuminating and Electrical Installation Engineers
• /
• v.29 no.1
• /
• pp.70-79
• /
• 2015

In this paper, enhanced stand-alone operation and development of Matlab/Simulink model of emergency diesel based hybrid energy system is presented. Simulations based on the remote community or islands were performed for PV-diesel-battery hybrid system. Modeling of PV-diesel-battery integrated system is done to perform under the solar radiation and load conditions on Matlab/Simulink platform. The models of diesel generator unit, battery energy storage system, PV and frequency-power control are developed and simulation studies have been carried out under various conditions using Matlab/Simulink and SimPowerSystem. It is demonstrated that the proposed system can provide reliable and good quality power to the customers in diesel synchronous generator-based hybrid energy systems.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2014.10a
• /
• pp.958-961
• /
• 2014

본 논문에서는 BLDC 모터의 일반적인 구조와 동작에 대해서 설명하고 시뮬레이션 가능한 수학적인 모델을 통해서 Matlab/Simulink에서 구현 하였다.