The Transactions of the Korea Information Processing Society (한국정보처리학회논문지)

Korea Information Processing Society (한국정보처리학회)
권호 표지

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

VIP/Sim : Statecharts에 기반을 둔 가상 프로토타이핑 시뮬레이터 설계 및 구현

  • 김철웅 (중앙대학교 대학원 컴퓨터공학과) ;
  • 한상용 (중앙대학교 컴퓨터공학과) ;
  • 최진영 (고려대학교 컴퓨터학과) ;
  • 이정아 (조선대학교 컴퓨터공학부)
  • Published : 2000.03.01
Download PDF
⟨ Previous Next ⟩

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 modeling. Actual design experience with VIP/Sim is also discussed.

Keywords

References

  1. Hennessy and Patterson, 'Computer Architecture 2nd edition,' 1997
  2. P. S. Pulli, M. L. Salmela, J.K Simila, 'Virtual Prototyping based development and marketing of future consumer electronics products,' IFlP word computer congress, Sep. 1996
  3. Mr. Mikko Kerttula and Mr. Marko Salmela, 'Virtual prototyping in product development,' http://www.ele.vtt.fi/projects/virpi/vpipd.htm
  4. M. E. Kerttulal, P. J. Pullil,2, 'Product Development, Marketing and Mobility Support in Virtual Enterprise,' http://www.ele.vtt.fi/projects/virpi/lce96.htm
  5. David Harel, HAGI LACHOVER 'STATEMATE: A Working Environment for the Development of complex Reactive Systems,' IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, Vol.16, No.4, APRIL 1990 https://doi.org/10.1109/32.54292
  6. 이희웅, 최진영, 'Virtual Prototyping이란', 전자공학회지 제25권 제2호, 1998
  7. 김철웅，한상용，'DragonarVPSim : 가상 프로토타이핑 시뮬레이터' '99 정보처리학회 춘계 학술발표논문집 제6권 제1호，pp.955-958 , April, 1999
  8. R. K. Gupta, G. De Micheli, 'Hardware-Software Cosyntesis for Digital Systems,' IEEE Design & Test of Computers, 1993
  9. W. Hardt, 'An Automated Approach to HW/SWCodesign,' IEEE Colloquium, 1995
  10. Harel David, 'Statecharts : A Visual Formalism for Complex Systems,' Sci. Computer, 1987 https://doi.org/10.1016/0167-6423(87)90035-9
  11. David Harel and Amnon Namad, 'The Statemate Semantics of StateCharts' ACM Trans. On Software Engineering, 1996 https://doi.org/10.1145/235321.235322
  12. David Harel, A.Pnueli, J.p.Schmidt, R. Sherman, 'On the Formal Semantics of Statecharts,' in Proc. 2nd IEEE Symp, Logic in Computer
  13. B. J. Singh, 'Prototyping preps for virtual approach,' EETIMES, Sep, 1997
  14. Rapid PLUS Case Studies, http://www.emultek.com/simulation/index.html
  15. 김철웅，한상용, '가상 프로토타입 명세를 위한 객체지향 기술 요소롤 지닌 확장된 Statecharts', 정보통신 우수 대학원 발표 논문집，중앙대학교 정보통신 연구소， pp.53-56，May, 1999
  16. http://fundedresearch.cos.com/cgibin/feddb/NSF/nsf/150329508/150331304/projects/fundedresearch/data/nsf/nsf.data/ seed=virtualprototyping