Global Specification and Validation of Embedded Systems
Integrating Heterogeneous Components| By: | G. Nicolescu; Ahmed A. Jerraya |
| Publisher: | Springer Nature |
| Print ISBN: | 9781402061516 |
| eText ISBN: | 9781402061530 |
| Edition: | 0 |
| Copyright: | 2007 |
| Format: | Page Fidelity |
eBook Features
Instant Access
Purchase and read your book immediately
Read Offline
Access your eTextbook anytime and anywhere
Study Tools
Built-in study tools like highlights and more
Read Aloud
Listen and follow along as Bookshelf reads to you
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.