Reliable Software for Unreliable Hardware

This book describes novel software concepts to increase reliability under user-defined constraints. The authors' approach bridges, for the first time, the reliability gap between hardware and software. Readers will learn how to achieve increased soft error resilience on unreliable hardware, while exploiting the inherent error masking characteristics and error (stemming from soft errors, aging, and process variations) mitigations potential at different software layers.

Introduction. - Background and Related Work. - Cross-Layer Reliability Analysis, Modeling, and Optimization. - Software Program-Level Reliability Modeling and Estimation. - Software Program-Level Reliability Optimization for Dependable Code Generation. - Dependable Code Execution using Reliability-Driven System Software. -Results and Discussion. - Summary and Conclusions.