E-Book, Englisch, 148 Seiten
Nicolescu Global Specification and Validation of Embedded Systems
1. Auflage 2007
ISBN: 978-1-4020-6153-0
Verlag: Springer-Verlag
Format: PDF
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
Integrating Heterogeneous Components
E-Book, Englisch, 148 Seiten
ISBN: 978-1-4020-6153-0
Verlag: Springer-Verlag
Format: PDF
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
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.




