정보처리학회논문지D (The KIPS Transactions:PartD)

한국정보처리학회 (Korea Information Processing Society)
권호 표지
DOI QR코드

DOI QR Code

모델 검사를 위한 Simulink 디버거의 기능 개선

Improvement of a Simulink Debugger Capacity for Model Verification

  • 김성조 (아주대학교 전자공학과) ;
  • 이홍석 (아주대학교 전자공학과) ;
  • 최경희 (아주대학교 정보통신전문대학원) ;
  • 정기현 (아주대학교 전자공학과)
  • 투고 : 2009.06.05
  • 심사 : 2010.03.22
  • 발행 : 2010.04.30
PDF 다운로드
⟨ 이전 논문 다음 논문 ⟩

초록

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

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.

키워드

참고문헌

  1. 송문빈, 송태훈, 오재곤, 정연모, "효율적인 통합시뮬레이션에 의한 스피커 연결 시스템의 SoC설계," 전자공학회논문지, 제43 권 SD편, 제10호, pp.671-676, 2006.
  2. 김성조, 정기현, 최경희, "Simulink 기반의 Testing Framework," 제30회 한국정보처리학회 추계학술발표대회 논문집, 제15권, 제2호, pp.539-542, 2008.
  3. David Harel, "Statecharts: A visual formalism for complex systems," Science of Computer Programming, Vol8, Issue3, pp.231-274, 1987. https://doi.org/10.1016/0167-6423(87)90035-9
  4. Kelly Hayhurst, et al, "A Practical Tutorial on Modified Condition/Decision Coverage," NASA/TM-2001-210876, 2001.
  5. Mathworks, http://www.mathworks.com/applications/dsp_ comm/xilix_ref_guide.pdf
  6. Mathworks, http://www.mathworks.com/access/helpdesk/ help/toolbox/stateflow/index.html?/access/helpdesk/help /toolbox/stateflow/gs/bqdfwc7-1.html
  7. Mathworks, http://www.mathworks.com/access/helpdesk/ help/toolbox/stateflow/index.html?/access/helpdesk/help /toolbox/stateflow/gs/f14-37240.html
  8. Mathworks, http://www.mathworks.com/access/helpdesk/ help/toolbox/stateflow/index.html?/access/helpdesk/help /toolbox/stateflow/ug/bqvoz7x.html
  9. Mathworks, http://www.mathworks.co.kr/products/simverification/ description5.html
  10. 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. https://doi.org/10.1109/WMSO.2008.57
  11. 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. https://doi.org/10.1109/PSCE.2004.1397561
  12. 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. https://doi.org/10.1109/SEW.2005.25
  13. 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. https://doi.org/10.1109/ESIME.2007.360029
  14. 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. https://doi.org/10.1145/1450058.1450071