Accession Number:

ADA242772

Title:

Techniques for the Design and Implementation of Highly Reliable Multi- Processing Systems

Descriptive Note:

Final rept. 1 Apr 87-31 Jul 91,

Corporate Author:

STANFORD UNIV CA COMPUTER SYSTEMS LAB

Personal Author(s):

Report Date:

1991-07-01

Pagination or Media Count:

11.0

Abstract:

This research focuses on specification languages for multi-processor systems, with particular emphasis on applications to Ada software. The research, however, applies generally to specifying distributed systems containing both software and hardware components, and to software systems implemented in any programming language. The primary goals are 1 design of a high level specification language for distributed systems, and 2 design and development of prototype tools for applying this language to development of highly reliable multi-processor Ada software.

Subject Categories:

  • Computer Programming and Software
  • Computer Hardware

Distribution Statement:

APPROVED FOR PUBLIC RELEASE