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 competitive market place. Simulation-based design is a methodology that uses the virtual prototype as a means of producing consistent and reduced design time. This paper presents this approach in the context of an automotive embedded system application. Structural models are used to capture design knowledge 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 are 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.