Techniques for the Design and Implementation of Highly Reliable Multi-Processing Systems.
David C. Luckham · 1985
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)