Model-based design for embedded systems. (2018)
- Record Type:
- Book
- Title:
- Model-based design for embedded systems. (2018)
- Main Title:
- Model-based design for embedded systems
- Further Information:
- Note: Gabriela Nicolescu, Pieter J. Mosterman.
- Other Names:
- Nicolescu, G (Gabriela)
Mosterman, Pieter J - Contents:
- 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; 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 Design Methodology 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 forPart 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; 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 Design Methodology 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; ; … (more)
- Publisher Details:
- Place of publication not identified : CRC Press
- Publication Date:
- 2018
- Extent:
- 1 online resource (766 pages), (333 illustrations)
- Subjects:
- 004.16
Embedded computer systems -- Design and construction - Languages:
- English
- ISBNs:
- 9781351834711
1351834711 - 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.378479
- Ingest File:
- 02_360.xml