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


KIPS Transactions on Computer and Communication Systems, Vol. 7, No. 3, pp. 891-900, Mar. 2000
10.3745/KIPSTE.2000.7.3.891, Full Text:

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
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]
C. U. Kim, S. Y. Han, J. Y. Choi and J. A. Lee, "VIP / Sim ; Design and Implementation of Virtual Prototyping Simulator based on Statecharts," KIPS Journal (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. KIPS Journal (1994 ~ 2000), 7, 3, (2000), 891-900. DOI: 10.3745/KIPSTE.2000.7.3.891.