Global modeling and validation needed to master the design of systems made of heterogeneous components. The main difficulty for their design and validation of modeling interactions between different components (hardware, software, analog, RF, optical and micro-mechanics). Global Specification and Validation of Embedded Systems offers a deep understanding of the concepts and practices behind the composition of heterogeneous components. After analysis of calculation and execution model that is used for specification and validation of different sub-systems, this book introduces a systematic approach to create an execution model for systems consisting of heterogeneous components. Benefits of reading this book is to provide a clear vision on the theory and practice of specification and validation of complex modern systems.