The Watchdog Task: Concurrent error detection using assertions
Aydin Ersoz, Dorothy M. Andrews, Edward J. McCluskey · NASA Technical Reports Server (NASA) · 1985
The Watchdog Task, a software abstraction of the Watchdog-processor, is shown to be a powerful error detection tool with a great deal of flexibility and the advantages of watchdog techniques. A Watchdog Task system in Ada is presented; issues of recovery, latency, efficiency (communication) and preprocessing are discussed. Different applications, one of which is error detection on a single processor, are examined.