Model-Based Design for Embedded Systems (Hardcover)

Part I: Real-Time and Performance Analysis in Heterogeneous Embedded SystemsPerformance Prediction of Distributed PlatformsSystemC-Based Performance Analysis of Embedded SystemsFormal Performance Analysis for Real-Time Heterogeneous Embedded SystemsModel-Based Framework for Schedulability Analysis Using UPPAALModeling and Analysis Framework for Embedded SystemsTrueTime: Simulation Tool for Performance Analysis of Real-Time Embedded SystemsPart II: Design Tools and Methodology for Multiprocessor System-on-ChipMPSoC Platform Mapping Tools for Data-Dominated ApplicationsRetargetable, Embedded Software Design Methodology for Multiprocessor-Embedded SystemsProgramming Models for MPSoCPlatform-Based Design and Frameworks: METROPOLIS and METRO IIReconfigurable Multicore Architectures for Streaming ApplicationsFPGA Platforms for Embedded SystemsPart III: Design Tools and Methodology for Multidomain Embedded SystemsModeling, Verification, and Testing Using Timed and Hybrid AutomataSemantics of Domain-Specific Modeling Languages. Multi-Viewpoint State Machines for Rich Component ModelsGeneric Methodology for the Design of Continuous/Discrete Co-Simulation ToolsModeling and Simulation of Mixed Continuous and Discrete Systems. Design Refinement of Embedded Mixed-Signal SystemsPlatform for Model-Based Design of Integrated Multi-Technology SystemsCAD Tools for Multi-Domain Systems on ChipsSmart Sensors Modeling Using VHDL-AMS for Microinstrument Implementation with a Distributed Architecture