Model-based design allows teams to start the design process from a high-level model that is gradually refined through abstraction levels to ultimately yield a prototype. This book describes the main facets of heterogeneous system design. It focuses on multi-core methodological issues, real-time analysis, and modeling and validation.
A compilation of work from internationally renowned authors, Model-Based Design for Embedded Systems elaborates on related practices and addresses the main facets of heterogeneous system design. Each chapter presents the results that have helped establish model-based design and continue to expand its parameters. The respective authors contribute their considerable expertise on the automation of design refinement and how to relate properties throughout this refinement while enabling analytic and synthetic qualities. Illustrating a broad and diverse spectrum of applications such as in automotive, aerospace, health care, and consumer electronics, this volume provides designers with readily adaptable modeling solutions for their own practice.
