Gabriela Nicolescu, Pieter J Mosterman

Model-Based Design for Embedded Systems

• Gebundenes Buch

Produktbeschreibung

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.

---

Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.

Produktdetails

• Verlag: CRC Press
• Seitenzahl: 764
• Erscheinungstermin: 1. November 2009
• Englisch
• Abmessung: 236mm x 155mm x 38mm
• Gewicht: 1225g
• ISBN-13: 9781420067842
• ISBN-10: 1420067842
• Artikelnr.: 27431258

Autorenporträt

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.

Inhaltsangabe

Part I: Real-Time and Performance Analysis in Heterogeneous Embedded
Systems
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.