모델 검사를 위한 Simulink 디버거의 기능 개선 = Improvement of a Simulink Debugger Capacity for Model Verification

다국어 초록 (Multilingual Abstract)

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.

국문 초록 (Abstract)

본 논문에서는 Simulink로 모델 검사를 위한 향상된 기능을 가진 디버거의 구현에 대해 기술한다. Simulink에서 기본적으로 제공되는 디버그 기능은 복잡한 시나리오나 복잡한 모델을 검사할 때 단순 반복적인 작업이 다수 요구되었다. 이를 개선하기 위해서 본 연구에서는 임의의 시나리오에 따른 시뮬레이션 결과와 예상한 결과를 확인할 수 있는 기능, 원하는 시점에서 시스템의 변화를 확인하는 기능, 임의의 혹은 전체 시나리오에 대한 시스템의 Coverage Report 기능 등이 구현된 Simulink 디버거에 대해 소개하고 구현에 대한 이슈를 기술한다. 이 프로그램을 Matlab에서 제공하는 자판기 모델에 적용해서 그 유용성을 확인했다.

참고문헌 (Reference)

1 송문빈, "효율적인 통합시뮬레이션에 의한스피커 연결 시스템의 SoC 설계" 대한전자공학회 43 (43): 68-73, 2006

2 Mathworks, "http://www.mathworks.com/access/helpdesk/ help/toolbox/stateflow/index.html?/access/helpdesk/help/toolbox/stateflow/gs/f14-37240.html"

3 R. Alur, "Symbolic analysis for improving simulation coverage of Simulink/Stateflow models"

4 David Harel, "Statecharts:A visual formalism for complex systems" 8 (8): 231-274, 1987

5 김성조, "Simulink 기반의 Testing Framework" 15 (15): 539-542, 2008

6 Koo,K.L, "Modeling and co-simulation of AC generator excitation and governor systems using Simulink interfaced to PSS/E" 2 : 1095-1100, 2004

7 Chifu Yang, "Modeling and Simulation of 6-DOF Parallel Manipulator Based on PID Control with Gravity Compensation in Simulink/ADAMS" 391-395, 2008

8 "Mathworks"

9 "Mathworks"

10 "Mathworks"

11 "Mathworks"

12 da Silva, "Generating VHDL-AMS Models of Digital-to-Analogue Converters From MATLAB/SIMULINK"

13 Lisa M. Boden, "Extending Simulink Models With Natural Relations To Improve Automated Model-Based Testing" 325-332, 2005

14 Kelly Hayhurst, "A Practical Tutorial on Modified Condition/Decision Coverage"