Model-Based Design for Embedded Systems

Framsida
CRC Press, 3 sep. 2018 - 766 sidor

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.

 

Innehåll

Chapter 1 Performance Prediction of Distributed Platforms
3
Chapter 2 SystemCBased Performance Analysis of Embedded Systems
27
Chapter 3 Formal Performance Analysis for RealTime Heterogeneous Embedded Systems
57
Chapter 4 ModelBased Framework for Schedulability Analysis Using UPPAAL 41
93
Chapter 5 Modeling and Analysis Framework for Embedded Systems
121
Simulation Tool for Performance Analysis of RealTime Embedded Systems
145
Design Tools and Methodology for Multiprocessor SystemonChip
177
Chapter 7 MPSoC Platform Mapping Tools for DataDominated Applications
179
Design Tools and Methodology for Multidomain Embedded Systems
381
Chapter 13 Modeling Verification and Testing Using Timed and Hybrid Automata
383
Chapter 14 Semantics of DomainSpecific Modeling Languages
437
Chapter 15 MultiViewpoint State Machines for Rich Component Models
487
Chapter 16 Generic Methodology for the Design of ContinuousDiscrete CoSimulation Tools
519
Chapter 17 Modeling and Simulation of Mixed Continuous and Discrete Systems
559
Chapter 18 Design Refinement of Embedded MixedSignal Systems
585
Chapter 19 Platform for ModelBased Design of Integrated MultiTechnology Systems
603

Chapter 8 Retargetable Embedded Software Design Methodology for MultiprocessorEmbedded Systems
207
Chapter 9 Programmig Models for MPSoC
231
Meteropolis and Metro II
259
Chapter 11 Reconfigurable Multicore Architectures for Streaming Applications
323
Chapter 12 FPGA Platforms for Embedded Systems
351
Chapter 20 CAD Tools for MultiDomain Systems on Chips
643
Chapter 21 Smart Sensors Modeling Using VHDLAMS for Microinstrument Implementation with a Distributed Architecture
697
Index
719
Back cover
741
Upphovsrätt

Andra upplagor - Visa alla

Vanliga ord och fraser

Om författaren (2018)

Gabriela Nicolescu is an associate professor in the Department of Computer Engineering at Ĕcole Polytechnique Montréal in Canada.

Pieter J. Mosterman is a senior research scientist in the Design Automation department of MathWorks in Natick, Massachusetts, and an adjunct professor at the School of Computer Science of McGill University in Montréal, Canada.

Bibliografisk information