Global Specification and Validation of Embedded Systems: Integrating Heterogeneous Components

by Gabriela Nicolescu and Ahmed A. Jerraya

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...

• Format: Paperback
• Language: English
• ISBN: 904817550X
• ISBN13: 9789048175505
• Release Date: October 2010
• Publisher: Springer
• Length: 148 Pages
• Weight: 0.52 lbs.
• Dimensions: 0.3" x 6.1" x 9.2"