Technical Diagnostics

Detection of a Faulty Computer in a Duplicated Failure-Proof System with Sliding Redundancy

I. V. Shagaev

Moscow

Abstract: Principles of diagnosing a failure-proof duplicated selfchecking system with sliding redundancy are considered. A computer model is described whose properties ensure detection of the faulty computer in a sequence of operations. The consistency of the sequence is proved.

UDC: 681.326.7


Received: 13.03.1985