Model-based design for embedded systems. (©2010)
- Record Type:
- Book
- Title:
- Model-based design for embedded systems. (©2010)
- Main Title:
- Model-based design for embedded systems
- Further Information:
- Note: [edited by] Gabriela Nicolescu, Pieter J. Mosterman.
- Other Names:
- Nicolescu, G (Gabriela)
Mosterman, Pieter J - Contents:
- Cover -- 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 --Cover -- 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 -- Back cover. … (more)
- Publisher Details:
- Boca Raton, FL : CRC Press
- Publication Date:
- 2010
- Copyright Date:
- 2010
- Extent:
- 1 online resource (xxiv, 739 pages), illustrations
- Subjects:
- 004.16
Embedded computer systems -- Design and construction
COMPUTERS -- Hardware -- Personal Computers -- General
COMPUTERS -- Hardware -- Handheld Devices
COMPUTERS -- Microprocessors
Embedded computer systems -- Design and construction
Inbyggda system -- design och konstruktion
Electronic books - Languages:
- English
- ISBNs:
- 9781420067859
1420067850 - Related ISBNs:
- 1420067842
9781420067842 - Notes:
- Note: Includes bibliographical references and index.
Note: Print version record. - Access Rights:
- Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
- Access Usage:
- Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD.DS.150768
- Ingest File:
- 01_080.xml