@article {289, title = {Multiprocessor Checking Using Watchdog Processors}, journal = {COMPUTER SYSTEMS SCIENCE AND ENGINEERING}, volume = {11}, year = {1996}, month = {1996}, pages = {301 - 310}, abstract = {

A new control flow checking scheme is presented, based on assigned-signature checking using a watchdog processor. This scheme is suitable for a multitasking, multiprocessor environment. The hardware overhead is comparatively low because of three reasons: first, hierarchically structured, the scheme uses only a single watchdog processor to monitor processes on multiple processors. Second, as an assigned-signature scheme, it does not require monitoring the instruction bus of the processors. Third, the run-time and reference signatures are embedded into the checked program; thus, in the watchdog processor neither a reference database nor a time-consuming search and compare engine is required.

}, isbn = {0267-6192}, author = {Istv{\'a}n Majzik and Wolfgang Hohl and Andr{\'a}s Pataricza and Volkmar Sieh} }