An Embedded System's Design Verification Using Object-Oriented Simulation

Steve J. Cunning, Stephan Schulz, Jerzy W. Rozenblit

Research output: Contribution to journalArticlepeer-review

5 Scopus citations


The ability for the embedded system designer model and simulate proposed designs prior to implementation is increasingly valuable in today's competitive market place. Simulation-based design is a methodology that uses the vir tual prototype as a means of producing consis tent and reduced design time. This paper presents this approach in the context of an auto motive embedded system application. Struc tural models are used to capture design knowl edge and define the space of possible design alternatives. The Discrete Event Specification (DEVS) formalism is used to develop behavioral models which can be simulated. Results are ob tained through experimental frames which are used to define the scope of simulation. These re sults allow the designers to confirm that the proposed design solution meets the system re quirements and constraints.

Original languageEnglish (US)
Pages (from-to)238-249
Number of pages12
Issue number4
StatePublished - Apr 1999


  • Modeling
  • discrete event simu lation
  • embedded systems design
  • hard ware/software codesign

ASJC Scopus subject areas

  • Software
  • Modeling and Simulation
  • Computer Graphics and Computer-Aided Design


Dive into the research topics of 'An Embedded System's Design Verification Using Object-Oriented Simulation'. Together they form a unique fingerprint.

Cite this