This text tracks the general trend in electronics in terms of size, complexity and difficulty of maintenance. System design is by nature combined with prototyping, mixed domain design, and verification. In order to deal with constraints induced by volume and complexity, new methods and techniques have been defined. Models in System Design provides an overview of the latest modeling techniques for use by system designers. The first part of the book considers system level design, discussing such issues as abstraction, performance and trade-offs. There is also a section on automating system design. Part two deals with some of the newest aspects of embedded system design. These include co-verification and prototyping. Finally, the text includes a section on the use of the MCSE methodology for hardware/software co-design. The work should be of help to designers and researchers in understanding techniques in system design and as such will be of interest to those involved in embedded system design.