Global Specification and Validation of Embedded Systems : Integrating Heterogeneous Components (Softcover reprint of hardcover 1st ed. 2007)

Global Specification and Validation of Embedded Systems offers a deep understanding of concepts and practices behind the composition of heterogeneous components.

After the analysis of existing computation and execution models used for the specification and validation of different sub-systems, the book introduces a systematic approach to build an execution model for systems composed of heterogeneous components.

Mixed continuous/discrete and hardware/software systems will be used to illustrate these concepts.

The benefit of reading this book is to give a clear vision on the theory and practice of specification and validation of complex modern systems.

The examples give to the designers solutions applicable in their daily practice.