Accession Number:

ADA159236

Title:

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

Descriptive Note:

Annual rept. 30 Sep 84-1 Aug 85,

Corporate Author:

STANFORD UNIV CA

Personal Author(s):

Report Date:

1985-05-10

Pagination or Media Count:

7.0

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

Subject Categories:

  • Computer Programming and Software
  • Computer Hardware

Distribution Statement:

APPROVED FOR PUBLIC RELEASE