Foundations of Dependable Computing

Paradigms for Dependable Applications

Editors:

ISBN: 978-0-7923-9485-3 (Print) 978-0-585-27316-7 (Online)

Table of contents (7 chapters)

  1. Front Matter

    Pages i-xiii

  2. Protocol-Based Paradigms for Distributed Applications

    1. Front Matter

      Pages 1-1

    2. No Access

      Book Chapter

      Pages 3-38

      Adaptive System-Level Diagnosis in Real-Time

    3. No Access

      Book Chapter

      Pages 39-54

      Refinement for Fault-Tolerance: An Aircraft Hand-off Protocol

    4. No Access

      Book Chapter

      Pages 55-78

      Language Support for Fault-Tolerant Parallel and Distributed Programming

  3. Algorithm-Based Paradigms for Parallel Applications

    1. Front Matter

      Pages 79-79

    2. No Access

      Book Chapter

      Pages 81-124

      Design and Analysis of Algorithm-Based Fault Tolerant Multiprocessor Systems

    3. No Access

      Book Chapter

      Pages 125-153

      Fault-Tolerance and Efficiency in Massively Parallel Algorithms

  4. Domain-Specific Paradigms for Real-Time Systems

    1. Front Matter

      Pages 155-155

    2. No Access

      Book Chapter

      Pages 157-182

      Use of Imprecise Computation to Enhance Dependability of Real-Time Systems

    3. No Access

      Book Chapter

      Pages 183-212

      Analytic Redundancy for Software Fault-Tolerance In Hard Real-Time Systems

  5. Back Matter

    Pages 213-214