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

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jul 01, 1991
Accession Number
ADA242772

Entities

People

  • David C. Luckham

Organizations

  • Stanford University

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Algorithms
  • Computer Programming
  • Debugging
  • Engineering
  • Environment
  • Language
  • Monitoring
  • Multithreading
  • Operating Systems
  • Product Prototyping
  • Prototypes
  • Simulations
  • Software Development
  • Software Testing
  • Standards
  • Systems Engineering
  • Universities

Fields of Study

  • Computer science
  • Engineering

Readers

  • Computer Science.
  • Sensor Fusion and Tracking Systems.