Browse > Article
http://dx.doi.org/10.3745/KIPSTD.2010.17D.2.111

Improvement of a Simulink Debugger Capacity for Model Verification  

Kim, Seong-Jo (아주대학교 전자공학과)
Lee, Hong-Seok (아주대학교 전자공학과)
Choi, Kyung-Hee (아주대학교 정보통신전문대학원)
Chung, Ki-Hyun (아주대학교 전자공학과)
Publication Information
The KIPS Transactions:PartD / v.17D, no.2, 2010 , pp. 111-118 More about this Journal
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.
Keywords
Model Checking Tool; Simulink; Modeling; Debugging Tool;
Citations & Related Records
Times Cited By KSCI : 1  (Citation Analysis)
연도 인용수 순위
1 송문빈, 송태훈, 오재곤, 정연모, "효율적인 통합시뮬레이션에 의한 스피커 연결 시스템의 SoC설계," 전자공학회논문지, 제43 권 SD편, 제10호, pp.671-676, 2006.   과학기술학회마을
2 김성조, 정기현, 최경희, "Simulink 기반의 Testing Framework," 제30회 한국정보처리학회 추계학술발표대회 논문집, 제15권, 제2호, pp.539-542, 2008.
3 Mathworks, http://www.mathworks.com/applications/dsp_ comm/xilix_ref_guide.pdf
4 Mathworks, http://www.mathworks.com/access/helpdesk/ help/toolbox/stateflow/index.html?/access/helpdesk/help /toolbox/stateflow/gs/bqdfwc7-1.html
5 Mathworks, http://www.mathworks.com/access/helpdesk/ help/toolbox/stateflow/index.html?/access/helpdesk/help /toolbox/stateflow/gs/f14-37240.html
6 Kelly Hayhurst, et al, "A Practical Tutorial on Modified Condition/Decision Coverage," NASA/TM-2001-210876, 2001.
7 Chifu Yang et al, "Modeling and Simulation of 6-DOF Parallel Manipulator Based on PID Control with Gravity Compensation in Simulink/ADAMS," International Workshop on Modeling, Simulation and Optimization, pp.391-395, 2008.   DOI
8 Koo, K.L. "Modeling and co-simulation of AC generator excitation and governor systems using Simulink interfaced to PSS/E," IEEE Power Systems Conference and Exposition, Vol2, pp1095-1100, 2004.   DOI
9 Mathworks, http://www.mathworks.com/access/helpdesk/ help/toolbox/stateflow/index.html?/access/helpdesk/help /toolbox/stateflow/ug/bqvoz7x.html
10 David Harel, "Statecharts: A visual formalism for complex systems," Science of Computer Programming, Vol8, Issue3, pp.231-274, 1987.   DOI   ScienceOn
11 Mathworks, http://www.mathworks.co.kr/products/simverification/ description5.html
12 R. Alur, A. Kanade, S. Ramesh, and K. C. Shashidhar. "Symbolic analysis for improving simulation coverage of Simulink/Stateflow models," In de Alfaro and Palsberg, pp.89-98, 2008.   DOI
13 Lisa M. Boden, Robert D. Busser, Mark R. Blackburn, Aaron M. Nauman, "Extending Simulink Models With Natural Relations To Improve Automated Model-Based Testing," 29th Annual IEEE/NASA Software Engineering Workshop, pp.325-332, 2005.   DOI
14 da Silva, et al, "Generating VHDL-AMS Models of Digital-to-Analogue Converters From MATLAB/SIMULINK," Thermal, Mechanical and Multi-Physics Simulation Experiments in Microelectronics and Micro-Systems, pp.1-7, 2007.   DOI