Embedded Systems Development

Know about the book -

Embedded Systems Development is written by Alberto Sangiovanni-Vincentelli and published by Springer Science & Business Media. It's available with International Standard Book Number or ISBN identification 1461438799 (ISBN 10) and 9781461438793 (ISBN 13).

This book offers readers broad coverage of techniques to model, verify and validate the behavior and performance of complex distributed embedded systems. The authors attempt to bridge the gap between the three disciplines of model-based design, real-time analysis and model-driven development, for a better understanding of the ways in which new development flows can be constructed, going from system-level modeling to the correct and predictable generation of a distributed implementation, leveraging current and future research results.