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

Abstract

During this research period several significant accomplishments were obtained. The completion of implementation of a prototype runtime monitor for detecting deadness errors in Ada tasking was accomplished. The work on runtime monitoring for deadness errors was presented at the IEEE Ada Conference in October 1984, and an invited publication appeared in IEEE Software in March 1985. A new language, called TSL (for Task Sequencing Language) to be used for specifying Ada tasking behavior, was designed and presented at the International Ada Conference in May 1985. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
May 10, 1985
Accession Number
ADA159236

Entities

People

  • D. C. Luckham

Organizations

  • Stanford University

Tags

DTIC Thesaurus Topics

  • Air Force
  • Air Force Facilities
  • Buildings And Structures
  • Communication Networks
  • Computers
  • Control Systems
  • Debugging
  • Engineering
  • Flight Control Systems
  • Information Science
  • Language
  • Monitoring
  • Networks
  • Specifications
  • Students
  • Test Methods
  • Universities

Fields of Study

  • Computer science

Readers

  • Database Systems and Applications
  • Parallel and Distributed Computing.
  • Technical Research and Report Writing.