In: Proc. of the Int. Conf. on Software Engineering for Real-time Systems, Cirencester 1987, pages 135-143. London: IERE, 1987.
Abstract: Systems must be designed to produce a satisfactory response even in the presence of faults. Emphasis is placed on the incorporation of watchdog mechanisms into software to recognise timing problems. The paper investigates the dynamic behaviour of these mechanisms by Petri net analysis.