This heterogeneity, coupled with issues such as hardware / software partitioning, mapping, scheduling, etc., causing a large number of design possibilities, making debugging and validating the performance of such systems a difficult problem. Embedded systems are used to control the essential security applications such as flight control, automotive electronics and health monitoring. This book describes a number of debugging and verification methods that can help to achieve this goal. Covers the main abstraction level of design of embedded systems, ranging from software analysis and modeling of micro-architecture, for modeling of shared resources and communications at the system level Integrating formal validation techniques for hardware / software with debugging and validation of embedded system design flow Includes practical case studies to answer the question: whether the design meets the requirements, if not, then what part of the system responsible for the violation, and once they have been identified, then how should the design must be suitable modified?