An embedded system's design verification using object-oriented simulation

The ability for the embedded system designer to model and simulate proposed designs prior to implementation is increasingly valuable in today's compet itive market place. Simulation-based design is a methodology that uses the virtual prototype as a means of producing consistent and reduced design tim e. This paper presents this approach in the context of an automotive embedd ed system application. Structural models are used to capture design knowled ge 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 obtained through experimental frames which ar e used to define the scope of simulation. These results allow the designers to confirm that the proposed design solution meets the system requirements and constraints.