Advertisement

Software Design for Resilient Computer Systems

  • Igor Schagaev
  • Eugene  Zouev
  • Kaegi Thomas
Book

Table of contents

  1. Front Matter
    Pages i-xviii
  2. Igor Schagaev, Eugene Zouev, Kaegi Thomas
    Pages 1-6
  3. Igor Schagaev, Eugene Zouev, Kaegi Thomas
    Pages 7-10
  4. Igor Schagaev, Eugene Zouev, Kaegi Thomas
    Pages 11-23
  5. Igor Schagaev, Eugene Zouev, Kaegi Thomas
    Pages 25-46
  6. Igor Schagaev, Eugene Zouev, Kaegi Thomas
    Pages 47-57
  7. Igor Schagaev, Eugene Zouev, Kaegi Thomas
    Pages 59-69
  8. Igor Schagaev, Eugene Zouev, Kaegi Thomas
    Pages 71-110
  9. Igor Schagaev, Eugene Zouev, Kaegi Thomas
    Pages 111-140
  10. Igor Schagaev, Eugene Zouev, Kaegi Thomas
    Pages 141-152
  11. Igor Schagaev, Eugene Zouev, Kaegi Thomas
    Pages 153-164
  12. Igor Schagaev, Eugene Zouev, Kaegi Thomas
    Pages 177-192
  13. Igor Schagaev, Eugene Zouev, Kaegi Thomas
    Pages 193-195
  14. Igor Schagaev, Eugene Zouev, Kaegi Thomas
    Pages 197-205
  15. Igor Schagaev, Eugene Zouev, Kaegi Thomas
    Pages 207-213
  16. Igor Schagaev, Eugene Zouev, Kaegi Thomas
    Pages 215-219
  17. Igor Schagaev, Hao Cai, Simon Monkman
    Pages 221-247
  18. Igor Schagaev
    Pages 249-266
  19. Igor Schagaev, Stephen Farrell
    Pages 267-292
  20. Aleksey Gospodchikov, Sergey Koziakov, Danila Romanov, Eugene Zouev
    Pages 293-304
  21. Back Matter
    Pages 305-308

About this book

Introduction

This book addresses the question of how system software should be designed to account for faults, and which fault tolerance features it should provide for highest reliability. With this second edition of Software Design for Resilient Computer Systems the book is thoroughly updated to contain the newest advice regarding software resilience. With additional chapters on computer system performance and system resilience, as well as online resources, the new edition is ideal for researchers and industry professionals.

The authors first show how the system software interacts with the hardware to tolerate faults. They analyze and further develop the theory of fault tolerance to understand the different ways to increase the reliability of a system, with special attention on the role of system software in this process. They further develop the general algorithm of fault tolerance (GAFT) with its three main processes: hardware checking, preparation for recovery, and the recovery procedure. For each of the three processes, they analyze the requirements and properties theoretically and give possible implementation scenarios and system software support required. Based on the theoretical results, the authors derive an Oberon-based programming language with direct support of the three processes of GAFT. In the last part of this book, they introduce a simulator, using it as a proof of concept implementation of a novel fault tolerant processor architecture (ERRIC) and its newly developed runtime system feature-wise and performance-wise.

Due to the wide reaching nature of the content, this book applies to a host of industries and research areas, including military, aviation, intensive health care, industrial control, and space exploration.

Keywords

ERRIC architecture Extreme reliability Fault tolerance Hardware and software reliability Hardware and software resilience Hardware deficiency Hardware faults Reliability engineering Software for hardware efficiency

Authors and affiliations

  • Igor Schagaev
    • 1
  • Eugene  Zouev
    • 2
  • Kaegi Thomas
    • 3
  1. 1.IT-ACS LtdStevenageUK
  2. 2.Department of InformaticsTechnopolisInnopolis, KazanRussia
  3. 3.IT-ACS LtdStevenageUK

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-030-21244-5
  • Copyright Information Springer Nature Switzerland AG 2020
  • Publisher Name Springer, Cham
  • eBook Packages Engineering
  • Print ISBN 978-3-030-21243-8
  • Online ISBN 978-3-030-21244-5
  • Buy this book on publisher's site
Industry Sectors
Automotive
Chemical Manufacturing
Electronics
IT & Software
Telecommunications
Aerospace
Oil, Gas & Geosciences
Engineering