Accession Number:

ADA071030

Title:

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

Descriptive Note:

Final rept.,

Corporate Author:

SRI INTERNATIONAL MENLO PARK CA COMPUTER SCIENCE LAB

Report Date:

1979-04-03

Pagination or Media Count:

72.0

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.

Subject Categories:

  • Computer Programming and Software
  • Computer Systems

Distribution Statement:

APPROVED FOR PUBLIC RELEASE