The demands of increasingly complex embedded systems and associated performance computations have resulted in the development of heterogeneous computing architectures that often integrate several types of processors, analog and digital electronic components, and mechanical and optical components—all on a single chip. As a result, now the most prominent challenge for the design automation community is to efficiently plan for such heterogeneity and to fully exploit its capabilities.

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 Model-Based Design for embedded systems, including the current state of the art, important challenges, and the latest trends. Focusing on computational models as the core design artifact, this book presents the cutting-edge results that have helped establish Model-Based Design and continue to expand its parameters. The book is organized into three sections: Real-Time and Performance Analysis in Heterogeneous Embedded Systems, Design Tools and Methodology for Multiprocessor System-on-Chip, and Design Tools and Methodology for Multidomain Embedded Systems. The respective contributors share their considerable expertise on the automation of design refinement and how to relate properties throughout this refinement while enabling analytic and synthetic qualities. They focus on multi-core methodological issues, real-time analysis, and modeling and validation, taking into account how optical, electronic, and mechanical components often interface. Model-Based Design is emerging as a solution to bridge the gap between the availability of computational capabilities and our inability to make full use of them yet. This approach enables teams to start the design process using a high-level model that is gradually refined through abstraction levels to ultimately yield a prototype. When executed well, Model-Based Design encourages enhanced performance and quicker time to market for a product. Illustrating a broad and diverse spectrum of applications such as in the automotive aerospace, health care, consumer electronics, this volume provides designers with practical, readily adaptable modeling solutions for their own practice.

越来越复杂的嵌入式系统和相关性能计算的需求导致了异构计算架构的发展，这些架构通常在单个芯片上集成了几种类型的处理器、模拟和数字电子元件以及机械和光学元件。因此，现在设计自动化界最突出的挑战是如何有效地规划这种异质性并充分地利用其能力。

基于模型的嵌入式系统设计》是国际知名作者的作品汇编，阐述了相关的实践，并讨论了嵌入式系统异构的基于模型的设计的主要方面，包括技术现状、重要挑战和最新趋势。本书以计算模型为核心设计工具，介绍了帮助建立基于模型的设计并继续扩展其参数的前沿成果。本书分为三个部分。异构嵌入式系统的实时和性能分析，多处理器片上系统的设计工具和方法，以及多域嵌入式系统的设计工具和方法。各个贡献者分享了他们在设计细化自动化方面的大量专业知识，以及如何在实现分析和合成质量的同时在整个细化过程中与属性相关。他们专注于多核方法学问题、实时分析以及建模和验证，同时考虑到光学、电子和机械部件如何经常衔接。基于模型的设计正在作为一种解决方案出现，以弥补计算能力的可用性和我们还不能充分利用它们之间的差距。这种方法使团队能够使用一个高层次的模型开始设计过程，通过抽象层次逐步完善，最终产生一个原型。如果执行得好，基于模型的设计可以鼓励提高产品的性能和加快产品的上市时间。本书说明了广泛而多样的应用，例如在汽车、航空航天、卫生保健、消费电子等领域，为设计者提供了实用的、可随时调整的建模方案，供他们自己实践。