Skip to main content
SpringerLink
Log in

Reliable Software for Unreliable Hardware

A Cross Layer Perspective

  • Book
  • © 2016

Overview

Authors:
  1. Semeen Rehman

    1. CES – Chair for Embedded Systems, Karlsruhe Institute of Technology, Karlsruhe, Germany

    View author publications

    You can also search for this author in PubMed   Google Scholar

  2. Muhammad Shafique

    1. Department of Computer Science, Karlsruhe Institute of Technology, Karlsruhe, Germany

    View author publications

    You can also search for this author in PubMed   Google Scholar

  3. Jörg Henkel

    1. Department of Computer Science, Karlsruhe Institute of Technology, Karlsruhe, Germany

    View author publications

    You can also search for this author in PubMed   Google Scholar

  • Provides a comprehensive overview of reliability modeling and optimization techniques at different hardware and software levels;
  • Describes novel optimization techniques for software cross-layer reliability, targeting unreliable hardware.
  • Includes supplementary material: sn.pub/extras

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 54.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (8 chapters)

  1. Front Matter

    Pages i-xxviii
    Download chapter PDF

  2. Introduction

    • Semeen Rehman, Muhammad Shafique, Jörg Henkel
    Pages 1-21

  3. Background and Related Work

    • Semeen Rehman, Muhammad Shafique, Jörg Henkel
    Pages 23-49

  4. Cross-Layer Reliability Analysis, Modeling, and Optimization

    • Semeen Rehman, Muhammad Shafique, Jörg Henkel
    Pages 51-80

  5. Software Program-Level Reliability Modeling and Estimation

    • Semeen Rehman, Muhammad Shafique, Jörg Henkel
    Pages 81-103

  6. Software Program-Level Reliability Optimization for Dependable Code Generation

    • Semeen Rehman, Muhammad Shafique, Jörg Henkel
    Pages 105-146

  7. Dependable Code Execution Using Reliability-Driven System Software

    • Semeen Rehman, Muhammad Shafique, Jörg Henkel
    Pages 147-169

  8. Results and Discussion

    • Semeen Rehman, Muhammad Shafique, Jörg Henkel
    Pages 171-188

  9. Summary and Conclusions

    • Semeen Rehman, Muhammad Shafique, Jörg Henkel
    Pages 189-192

  10. Back Matter

    Pages 193-237
    Download chapter PDF
Back to top

Keywords

About this book

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.

Reviews

“The authors present a broad body of state-of-the-art software techniques that alleviate the costly and decaying solution of redundant hardware. … The book is written in a logical way, from the fundamentals to the state-of-the-art solutions. … The attached appendices are especially welcome for interested readers and potential students, because here the authors describe some simulators and the source code of various algorithms.” (Ramon Gonzalez Sanchez, Computing Reviews, April, 2017)

Authors and Affiliations

  • CES – Chair for Embedded Systems, Karlsruhe Institute of Technology, Karlsruhe, Germany

    Semeen Rehman

  • Department of Computer Science, Karlsruhe Institute of Technology, Karlsruhe, Germany

    Muhammad Shafique, Jörg Henkel

About the authors

Muhammad Shafique received his Ph.D. in Computer Science from Karlsruhe Institute of Technology (KIT) , Germany in 2011. Before, he was with Streaming Networks Pvt. Ltd.  (2003-06) and WorldCall Multimedia  (2001). Mr. Shafique received his B.Sc. Engineering degree (4 Gold Medals) from University of Engineering and Technology (UET)  Lahore, Pakistan in 2000. He then completed his Masters in Information Technology (2 Gold Medals) from Pakistan Institute of Engineering and Applied Sciences (PIEAS)  in 2003. He has also acquired an in-depth understanding of various video coding standards (HEVC , H.264/AVC , MVC, MPEG-1/2/4).

Bibliographic Information

  • Book Title: Reliable Software for Unreliable Hardware

  • Book Subtitle: A Cross Layer Perspective

  • Authors: Semeen Rehman, Muhammad Shafique, Jörg Henkel

  • DOI: https://doi.org/10.1007/978-3-319-25772-3

  • Publisher: Springer Cham

  • eBook Packages: Engineering, Engineering (R0)

  • Copyright Information: Springer International Publishing Switzerland 2016

  • Hardcover ISBN: 978-3-319-25770-9Published: 29 April 2016

  • Softcover ISBN: 978-3-319-79838-7Published: 22 April 2018

  • eBook ISBN: 978-3-319-25772-3Published: 20 April 2016

  • Edition Number: 1

  • Number of Pages: XXVIII, 237

  • Number of Illustrations: 38 b/w illustrations, 83 illustrations in colour

  • Topics: Circuits and Systems, Processor Architectures, Electronics and Microelectronics, Instrumentation

Publish with us

Policies and ethics

Back to top

Search

Navigation