Foundations of Dependable Computing

Models and Frameworks for Dependable Systems

ISBN: 978-0-7923-9484-6 (Print) 978-0-585-27377-8 (Online)

Table of contents (8 chapters)

  1. Front Matter

    Pages i-xiv

  2. Frameworks for Dependable Systems

    1. Front Matter

      Pages 1-1

    2. No Access

      Book Chapter

      Pages 3-21

      A Consensus-Based Framework and Model for the Design of Responsive Computing Systems

    3. No Access

      Book Chapter

      Pages 23-60

      A Methodology for Adapting to Patterns of Faults

  3. Requirements Models

    1. Front Matter

      Pages 61-61

    2. No Access

      Book Chapter

      Pages 63-75

      Military Fault Tolerant Requirements

    3. No Access

      Book Chapter

      Pages 77-110

      Derivation and Use of Deadline Information in Real-Time Control Systems

  4. System Validation

    1. Front Matter

      Pages 111-111

    2. No Access

      Book Chapter

      Pages 113-167

      Software-Implemented Fault Injection of Transient Hardware Errors

    3. No Access

      Book Chapter

      Pages 169-192

      REACT: An Integrated Tool for the Design of Dependable Computing Systems

  5. System Evaluation

    1. Front Matter

      Pages 193-193

    2. No Access

      Book Chapter

      Pages 195-234

      Measurement-Based Dependability Evaluation of Operational Computer Systems

    3. No Access

      Book Chapter

      Pages 235-262

      Modeling and Evaluation of Opto-Electronic Computing Systems

  6. Back Matter

    Pages 263-264