LEADER 05134nam 22006975 450 001 9910427734503321 005 20260810144838.0 010 $a3-030-52017-X 024 7 $a10.1007/978-3-030-52017-5 035 $a(CKB)4100000011645178 035 $a(DE-He213)978-3-030-52017-5 035 $a(MiAaPQ)EBC6422854 035 $a(Au-PeEL)EBL6422854 035 $a(OCoLC)1231607877 035 $a(oapen)https://directory.doabooks.org/handle/20.500.12854/33101 035 $a(PPN)252515706 035 $a(ODN)ODN0010067886 035 $a(oapen)doab33101 035 $a(oapen)33101 035 $a(EXLCZ)994100000011645178 100 $a20201209d2021 u| 0 101 0 $aeng 135 $aurnn#---mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aDependable Embedded Systems /$fedited by Jörg Henkel, Nikil Dutt 205 $a1st ed. 2021. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2021. 215 $a1 online resource (XIII, 608 p. 293 illus., 250 illus. in color.) 225 1 $aEmbedded Systems,$x2193-0163 311 1 $a3-030-52016-1 327 $aIntroduction -- 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. 330 $aThis Open Access book introduces readers to many new techniques for enhancing and optimizing reliability in embedded systems, which have emerged particularly within the last five years. This book introduces the most prominent reliability concerns from today?s points of view and roughly recapitulates the progress in the community so far. Unlike other books that focus on a single abstraction level such circuit level or system level alone, the focus of this book is to deal with the different reliability challenges across different levels starting from the physical level all the way to the system level (cross-layer approaches). The book aims at demonstrating how new hardware/software co-design solution can be proposed to ef-fectively mitigate reliability degradation such as transistor aging, processor variation, temperature effects, soft errors, etc. Provides readers with latest insights into novel, cross-layer methods and models with respect to dependability of embedded systems; Describes cross-layer approaches that can leverage reliability through techniques that are pro-actively designed with respect to techniques at other layers; Explains run-time adaptation and concepts/means of self-organization, in order to achieve error resiliency in complex, future many core systems. 410 0$aEmbedded Systems,$x2193-0163 606 $aElectronic circuits 606 $aCooperating objects (Computer systems) 606 $aMicroprocessors 606 $aComputer architecture 606 $aElectronic Circuits and Systems 606 $aCyber-Physical Systems 606 $aProcessor Architectures 615 0$aElectronic circuits. 615 0$aCooperating objects (Computer systems) 615 0$aMicroprocessors. 615 0$aComputer architecture. 615 14$aElectronic Circuits and Systems. 615 24$aCyber-Physical Systems. 615 24$aProcessor Architectures. 676 $a621.3815 686 $aCOM011000$aTEC007000$aTEC008010$2bisacsh 700 $aHenkel$b J$g(Jo?rg)$4auth$01881866 702 $aHenkel$b J$g(Jo?rg),$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aDutt$b Nikil$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910427734503321 996 $aDependable embedded systems$94496745 997 $aUNINA