Improvement of a Simulink Debugger Capacity for Model Verification


The KIPS Transactions:PartD, Vol. 17, No. 2, pp. 111-118, Apr. 2010
10.3745/KIPSTD.2010.17.2.111,   PDF Download:

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.


Statistics
Show / Hide Statistics

Statistics (Cumulative Counts from September 1st, 2017)
Multiple requests among the same browser session are counted as one view.
If you mouse over a chart, the values of data points will be shown.


Cite this article
[IEEE Style]
S. J. Kim, H. S. Lee, K. H. Choi, K. H. Chung, "Improvement of a Simulink Debugger Capacity for Model Verification," The KIPS Transactions:PartD, vol. 17, no. 2, pp. 111-118, 2010. DOI: 10.3745/KIPSTD.2010.17.2.111.

[ACM Style]
Seong Jo Kim, Hong Seok Lee, Kyung Hee Choi, and Ki Hyun Chung. 2010. Improvement of a Simulink Debugger Capacity for Model Verification. The KIPS Transactions:PartD, 17, 2, (2010), 111-118. DOI: 10.3745/KIPSTD.2010.17.2.111.