Accession Number : AD0767213

Title :   Fault-Detection Experiments on Structurally Decomposable Sequential Machines.

Descriptive Note : Interim rept.,

Corporate Author : CLARKSON COLL OF TECHNOLOGY POTSDAM N Y

Personal Author(s) : Das,Purnendu ; Farmer,Daniel E.

Report Date : JUL 1973

Pagination or Media Count : 99

Abstract : 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)

Descriptors :   (*DIGITAL COMPUTERS, RELIABILITY(ELECTRONICS)), (*LOGIC CIRCUITS, TEST METHODS), GATES(CIRCUITS), SWITCHING CIRCUITS, INPUT OUTPUT DEVICES, FAILURE, ALGORITHMS, THEOREMS, COMPUTER PROGRAMMING, COMPUTER LOGIC

Subject Categories : Electrical and Electronic Equipment
      Computer Programming and Software
      Computer Hardware
      Mfg & Industrial Eng & Control of Product Sys

Distribution Statement : APPROVED FOR PUBLIC RELEASE