Global Specification and Validation of Embedded Systems: Integrating Heterogeneous Components Contributor(s): Nicolescu, G. (Author), Jerraya, Ahmed A. (Author) |
|
![]() |
ISBN: 904817550X ISBN-13: 9789048175505 Publisher: Springer OUR PRICE: $104.49 Product Type: Paperback - Other Formats Published: October 2010 |
Additional Information |
BISAC Categories: - Technology & Engineering | Electronics - Circuits - General - Computers | Software Development & Engineering - Systems Analysis & Design - Computers | Computer Science |
Dewey: 003.3 |
Physical Information: 0.35" H x 6.14" W x 9.21" (0.52 lbs) 148 pages |
Descriptions, Reviews, Etc. |
Publisher Description: 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. |