Formal Techniques for Fault-Tolerance in Distributed Data Processing (DDP).

Abstract

Distributed data processing can lead to systems with greatly improved reliability when compared with conventional systems, and can offer flexible strategies for redundancy, self-testing, and reconfiguration. DDP systems also have potential advantages in security, efficiency, and evolvability. The work in this contract is aimed at providing a suitable theoretical basis for the development of practical techniques for DDP system design and verification. Three fundamental issues have been investigated and are reported here: hierarchical structure in DDP systems; achievement of consistent redundant data representations in faulty networks--specification, design, and validation; and self-diagnosability in DDP networks.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Apr 03, 1979
Accession Number
ADA071030

Entities

People

  • Jack Goldberg
  • Leslie Lamport
  • Peter Neumann
  • William Kautz

Organizations

  • SRI International

Tags

Communities of Interest

  • Air Platforms
  • Energy and Power Technologies
  • Materials and Manufacturing Processes
  • Sensors
  • Weapons Technologies

DTIC Thesaurus Topics

  • Abstracts
  • Application Software
  • Classification
  • Communication Channels
  • Computer Programming
  • Computer Science
  • Computers
  • Consistency
  • Contracts
  • Data Processing
  • Databases
  • Decoding
  • Operating Systems
  • Probability
  • Security
  • Validation
  • Verification

Fields of Study

  • Computer science
  • Engineering

Readers

  • Parallel and Distributed Computing.
  • Software Engineering.