
Model-Based Design for Embedded Systems
Description
Alles über E-Books | Antworten auf Fragen rund um E-Books, Kopierschutz und Dateiformate finden Sie in unserem Info- & Hilfebereich.
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.
More details
Other editions
Additional editions


Persons
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 Montreal, Canada.
Content
Performance Prediction of Distributed Platforms. SystemC-Based Performance Analysis of Embedded Systems. Formal Performance Analysis for Real-Time Heterogeneous Embedded Systems. Model-Based Framework for Schedulability Analysis Using UPPAAL 4.1. Modeling and Analysis Framework for Embedded Systems. TrueTime: Simulation Tool for Performance Analysis of Real-Time Embedded Systems.
Part II: Design Tools and Methodology for Multiprocessor System-on-Chip
MPSoC Platform Mapping Tools for Data-Dominated Applications. Retargetable, Embedded Software DesignMethodology for Multiprocessor-Embedded Systems. Programming Models for MPSoC. Platform-Based Design and Frameworks: METROPOLIS and METRO II. Reconfigurable Multicore Architectures for Streaming Applications. FPGA Platforms for Embedded Systems.
Part III: Design Tools and Methodology for Multidomain Embedded Systems
Modeling, Verification, and Testing Using Timed and Hybrid Automata. Semantics of Domain-Specific Modeling Languages. Multi-Viewpoint State Machines for Rich Component Models. Generic Methodology for the Design of Continuous/Discrete Co-Simulation Tools. Modeling and Simulation of Mixed Continuous and Discrete Systems. Design Refinement of Embedded Mixed-Signal Systems. Platform for Model-Based Design of Integrated Multi-Technology Systems. CAD Tools for Multi-Domain Systems on Chips. Smart Sensors Modeling Using VHDL-AMS for Microinstrument Implementation with a Distributed Architecture.
System requirements
File format: ePUB
Copy protection: Adobe-DRM (Digital Rights Management)
System requirements:
- Computer (Windows; MacOS X; Linux): Install the free reader Adobe Digital Editions prior to download (see eBook Help).
- Tablet/smartphone (Android; iOS): Install the free app Adobe Digital Editions or the app PocketBook before downloading (see eBook Help).
- E-reader: Bookeen, Kobo, Pocketbook, Sony, Tolino and many more (not Kindle).
The file format ePub works well for novels and non-fiction books – i.e., „flowing” text without complex layout. On an e-reader or smartphone, line and page breaks automatically adjust to fit the small displays.
This eBook uses Adobe-DRM, a „hard” copy protection. If the necessary requirements are not met, unfortunately you will not be able to open the eBook. You will therefore need to prepare your reading hardware before downloading.
Please note: We strongly recommend that you authorise using your personal Adobe ID after installation of any reading software.
For more information, see our ebook Help page.