Component-Based Analysis of Fault-Tolerant Real-Time Programs

Abstract

Abstract We focus on decomposition of fault-tolerant real-time programs that are designed from their fault-intolerant versions. Towards this end, motivated by the concepts of state predicate detection and state predicate correction for untimed systems, we identify three types of components, namely, detectors, weak delta-correctors, and strong delta-correctors. We also consider different levels of fault-tolerance, namely, soft-failsafe, hard-failsafe, nonmasking, soft-masking, and hard-masking, depending upon the satisfaction of safety, liveness, and timing constraints in the presence of faults. We show that depending upon the level of tolerance, fault-tolerant real-time programs contain one or more detectors and/or weak/strong-delta correctors.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 2007
Accession Number
ADA469650

Entities

People

  • Anish Arora
  • Borzoo Bonakdarpour
  • Sandeep S. Kulkarni

Organizations

  • Michigan State University

Tags

Communities of Interest

  • Air Platforms
  • Energy and Power Technologies

DTIC Thesaurus Topics

  • Altimeters
  • Altitude
  • Computations
  • Computer Science
  • Convergence
  • Crossings
  • Detection
  • Detectors
  • Engineering
  • Fault Tolerance
  • Internal Pressure
  • Notation
  • Pressure Gages
  • Recovery
  • Specifications
  • Transitions
  • Weak Convergence

Fields of Study

  • Engineering

Readers

  • Applied Combinatorial Optimization and Logic Circuit Design.
  • Mathematical Modeling and Probability Theory.
  • Parallel and Distributed Computing.