VIP / Sim ; Design and Implementation of Virtual Prototyping Simulator based on Statecharts 


Vol. 7,  No. 3, pp. 891-900, Mar.  2000
10.3745/KIPSTE.2000.7.3.891


PDF
  Abstract

A visual development framework for embedded system is presented based on virtual prototyping. Embedded systems often are used in life critical situation, where reliability is very important. Time_to_market, correctness, user_friendly_design are another features required for embedded system design. However, embedded systems are today designed with an ad hoc approach that is heavily based on earlier experience with similar products. We believe that new design paradigm is needed and it should be based on the use of formal model and visual system to describe the behavior of the system at a high level abstraction. Virtual prototyping has all the required features. It has the following advantages; correct design, clear interface definition, idea experimentation, increased communication. In this paper, we describe the design and implementation of VIP/Sim(Virtual Prototyping Simulator), a visionary development framework for embedded system design. New feature such as state polymorphism is augmented to the de_facto standard formal language, statechart, for enhanced dynamic modelling. Actual design experience with VIP/Sim is also discussed.

  Statistics
  Cite this article

[IEEE Style]

C. U. Kim, S. Y. Han, J. Y. Choi, J. A. Lee, "VIP / Sim ; Design and Implementation of Virtual Prototyping Simulator based on Statecharts," The Transactions of the Korea Information Processing Society (1994 ~ 2000), vol. 7, no. 3, pp. 891-900, 2000. DOI: 10.3745/KIPSTE.2000.7.3.891.

[ACM Style]

Chul Ung Kim, Sang Yong Han, Jin Young Choi, and Jeong A Lee. 2000. VIP / Sim ; Design and Implementation of Virtual Prototyping Simulator based on Statecharts. The Transactions of the Korea Information Processing Society (1994 ~ 2000), 7, 3, (2000), 891-900. DOI: 10.3745/KIPSTE.2000.7.3.891.

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