Improvement of a Simulink Debugger Capacity for Model Verification
Seong-Jo Kim, Hong-Seok Lee, Kyunghee Choi, Ki-Hyun Chung · The KIPS Transactions PartD · 2010
본 논문에서는 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.