Global Specification and Validation of Embedded Systems Integrating Heterogeneous Components

You must be logged in to access this title.

Sign up now

Already a member? Log in

Synopsis

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.

Book details

Edition:
2007
Author:
G. Nicolescu, Ahmed A. Jerraya
ISBN:
9781402061530
Related ISBNs:
9781402061516
Publisher:
Springer Netherlands
Pages:
N/A
Reading age:
Not specified
Includes images:
No
Date of addition:
2021-02-19
Usage restrictions:
Copyright
Copyright date:
2007
Copyright by:
N/A 
Adult content:
No
Language:
English
Categories:
Computers and Internet, Nonfiction, Technology