Improvement of a Simulink Debugger Capacity for Model Verification 


Vol. 17,  No. 2, pp. 111-118, Apr.  2010
10.3745/KIPSTD.2010.17.2.111


PDF
  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
  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.

Forms

Search
(IN TITLE, AUTHOR, ABSTRACT,KEYWORDS)

Advanced Search ▼

POPULAR KEYWORDS
(TOP 10 KEYWORDS)

Recent Publications
(LAST 3 YEARS)

Old Journals

Indexing

All publications of TKIPS is indexed in DOI, EBSCO, Google Scholar, Crossref, and CrossCheck.

TKIPS is also selected as the Journal for Accreditation by NRF (National Research Foundation of Korea).

Related Journals