This book offers up 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 are used to illustrate these concepts. The benefit of reading this book is to arrive at a clear vision of the theory and practice of specification and validation of complex modern systems. Numerous examples give designers highly applicable solutions.
- ISBN13 9781402061516
- Publish Date 19 June 2007 (first published 1 January 2007)
- Publish Status Active
- Publish Country US
- Imprint Springer-Verlag New York Inc.
- Edition 2007 ed.
- Format Hardcover
- Pages 148
- Language English