Fault-Detection Experiments on Structurally Decomposable Sequential Machines.

MMING, COMPUTER LOGICAUTOMATA, *SEQUENTIAL MACHINES, SWITCHING THEORY, FAULT TOLERANT COMPUTING, *FAULT DETECTIONThe report treats the problem of devising fault-detection experiments for sequential machines having their decompositions known. In these experiments inputs are applied at the input terminals of the machine and the outputs observed at the output terminals, and no intermediate terminal is accessible. The output at any intermediate terminal is assumed known only for the design of the test but is never used in the actual experiment. The problem is treated from the standpoint of machine identification, with a possible faulty machine being identified as either isomorphic to its faultfree counterpart or not isomorphic to it. A test for a component machine is designed such that all the states of the component are identified and also sufficient non-elementary transitions are identified for unique representation of the machine. (Modified author abstract)