Foundations of Dependable Computing

System Implementation

Editors:

ISBN: 978-0-7923-9486-0 (Print) 978-0-585-28002-8 (Online)

Table of contents (9 chapters)

  1. Front Matter

    Pages I-XIII

  2. Dependable Components

    1. Front Matter

      Pages 1-1

    2. No Access

      Book Chapter

      Pages 3-33

      Self-Checking and Self-Exercising Design for Hierarchic Long-Life Fault-Tolerant Systems

    3. No Access

      Book Chapter

      Pages 35-68

      Design of Self-Checking Processors Using Efficient Berger Check Prediction Logic

  3. Dependable Communications

    1. Front Matter

      Pages 69-69

    2. No Access

      Book Chapter

      Pages 71-86

      Network Fault Detection and Recovery in the Chaos Router

    3. No Access

      Book Chapter

      Pages 87-131

      Real-Time Fault-Tolerant Communication in Distributed Computing Systems

  4. Computer Support

    1. Front Matter

      Pages 133-133

    2. No Access

      Book Chapter

      Pages 135-157

      Speculative Execution and Compiler-Assisted Multiple Instruction Recovery

    3. No Access

      Book Chapter

      Pages 159-211

      Compiler Assisted Synthesis of Algorithm-Based Checking in Multiprocessors1

  5. Operating System Support

    1. Front Matter

      Pages 213-213

    2. No Access

      Book Chapter

      Pages 215-241

      Application Transparent Fault Management in Fault Tolerant Mach

    3. No Access

      Book Chapter

      Pages 243-263

      Constructing Dependable Distributed Systems Using Consul

    4. No Access

      Book Chapter

      Pages 265-318

      Enhancing Fault Tolerance of Real-Time Systems through Time Redundancy

  6. Back Matter

    Pages 319-321