Model-Based Design for Embedded Systems- P1 pptx

Contents

Preface

Introduction

Contributors

Part I: Real-Time and Performance Analysis in Heterogeneous Embedded Systems

Chapter 1. Performance Prediction of Distributed Platforms
Chapter 2. SystemC-Based Performance Analysis of Embedded Systems
Chapter 3. Formal Performance Analysis for Real-Time Heterogeneous Embedded Systems
Chapter 4. Model-Based Framework for Schedulability Analysis Using UPPAAL 4.1
Chapter 5. Modeling and Analysis Framework for Embedded Systems
Chapter 6. TrueTime: Simulation Tool for Performance Analysis of Real-Time Embedded Systems

Part II: Design Tools and Methodology for Multiprocessor System-on-Chip

Chapter 7. MPSoC Platform Mapping Tools for Data-Dominated Applications
Chapter 8. Retargetable, Embedded Software Design Methodology for Multiprocessor-Embedded Systems
Chapter 9. Programmig Models for MPSoC
Chapter 10. Platform-Based Design and Frameworks: Meteropolis and Metro II
Chapter 11. Reconfigurable Multicore Architectures for Streaming Applications
Chapter 12. FPGA Platforms for Embedded Systems

Part III: Design Tools and Methodology for Multidomain Embedded Systems

Chapter 13. Modeling, Verification, and Testing Using Timed and Hybrid Automata
Chapter 14. Semantics of Domain-Specific Modeling Languages
Chapter 15. Multi-Viewpoint State Machines for Rich Component Models
Chapter 16. Generic Methodology for the Design of Continuous/Discrete Co-Simulation Tools
Chapter 17. Modeling and Simulation of Mixed Continuous and Discrete Systems
Chapter 18. Design Refinement of Embedded Mixed-Signal Systems
Chapter 19. Platform for Model-Based Design of Integrated Multi-Technology Systems
Chapter 20. CAD Tools for Multi-Domain Systems on Chips
Chapter 21. Smart Sensors Modeling Using VHDL-AMS for Microinstrument Implementation with a Distributed Architecture

Index