Techniques for the Design and Implementation of Highly Reliable Multi-Processing Systems.
Annual rept. 30 Sep 84-1 Aug 85,
STANFORD UNIV CA
Pagination or Media Count:
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
- Computer Programming and Software
- Computer Hardware