Dependable embedded systems / / editors, Jörg Henkel, Nikil Dutt |
Autore | Henkel Jörg |
Edizione | [1st edition 2021.] |
Pubbl/distr/stampa | Springer Nature, 2021 |
Descrizione fisica | 1 online resource (XIII, 608 p. 293 illus., 250 illus. in color.) |
Disciplina | 621.3815 |
Collana | Embedded systems (Springer (Firm)) |
Soggetto topico |
Electronic circuits
Computer engineering Internet of things Embedded computer systems Microprocessors |
Soggetto non controllato |
Circuits and Systems
Cyber-physical systems, IoT Processor Architectures Electronic Circuits and Systems Cyber-Physical Systems Fault-Tolerant Computing Reliability Enhancers in Embedded Systems SoCs based on cross-layer-reliability System-Level Reliability Analysis Dependable Software Execution Open access Electronics: circuits & components Electrical engineering Cybernetics & systems theory Computer architecture & logic design |
ISBN | 3-030-52017-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Introduction -- Design of efficient, dependable SoCs based on cross-layer-reliability approach with emphasis on wireless communication as application and DRAM memories -- CRAU: Compositional System-Level Reliability Analysis in the Presence of Uncertainties -- Semantics-aware Soft Error Handling for Embedded Systems using Compiler-OS Interaction -- ARES: Self-Adaptive Coarse-Grained Reconfigurable Architectures as Reliability Enhancers in Embedded Systems -- Cross-Layer Techniques for Dependable Software Execution on Embedded Systems -- Ambrosia: Cross-layer Modeling and Mitigation of Aging Effects in Embedded Systems -- Cross-Layer Dependability for Embedded Hardware/Software Systems -- Fault-Tolerant Computing with Heterogeneous Hardware/Software Hardening Modes -- Robust Computing for Machine Learning-Based Systems -- Hardening embedded system software -- LIFT: Lifting Device-Level Characteristics for Error Resilient System Level Design: A Crosslayer Approach -- VirTherm-3D: Communication Virtualization Enabling System Management for Dependable 3D MPSoCs -- OTERA: Online Test Strategies for Reliable Reconfigurable Architectures -- Variability-Aware Software: Recent Results and Contributions -- EM Lifetime Constrained Optimization for Multi-Segment Power Grid Networks -- Lightweight Software-Assisted Memory Error Correction -- Reliability-Driven Resource Management for Multi-Core Systems-on-Chip -- Monitor Circuits for Device-Circuit Interaction -- PERCIES: Providing Efficient Reliability in Critical Embedded Systems. |
Record Nr. | UNINA-9910427734503321 |
Henkel Jörg
![]() |
||
Springer Nature, 2021 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Embedded system design : embedded systems foundations of cyber-physical systems, and the Internet of Things / / Peter Marwedel |
Autore | Marwedel Peter |
Edizione | [4th edition 2021.] |
Pubbl/distr/stampa | Springer Nature, 2021 |
Descrizione fisica | 1 online resource (XXII, 433 p. 138 illus., 124 illus. in color.) |
Disciplina | 621.3815 |
Collana | Embedded Systems |
Soggetto topico |
Internet of things
Cooperating objects (Computer systems) Embedded computer systems - Design and construction Ubiquitous computing |
Soggetto non controllato |
Circuits and Systems
Cyber-physical systems, IoT Professional Computing Processor Architectures Electronic Circuits and Systems Internet of Things Cyber-Physical Systems Textbook Embedded System Hardware Embedded System Software Embedded Systems Textbook Hardware/Software Codesign Real-Time Systems Textbook Real-time operating systems Open Access embedded systems textbook Open Access Electronics: circuits & components Electrical engineering Cybernetics & systems theory Applied computing Computer architecture & logic design |
ISBN | 3-030-60910-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Chapter 1. Introduction -- Chapter 2. Specifications and Modeling -- Chapter 3. Embedded System Hardware -- Chapter 4. System Software -- Chapter 5. Evaluation and Validation -- Chapter 6. Application Mapping -- Chapter 7. Optimization -- Chapter 8. Test. |
Record Nr. | UNINA-9910473459503321 |
Marwedel Peter
![]() |
||
Springer Nature, 2021 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|