Accession Number : AD0750266

Title :   Fault Detection in Sequential Machines.

Descriptive Note : Technical rept.,

Corporate Author : NAVAL UNDERWATER SYSTEMS CENTER NEWPORT R I

Personal Author(s) : Tylaska,Theodore T.

Report Date : 14 SEP 1972

Pagination or Media Count : 176

Abstract : Sequences and techniques useful in the design of checking experiments are examined. Necessary and sufficient conditions are formulated for a machine to possess distinguishing and synchronizing sequences. Characterizing sequences are examined in detail and a previous bound is reduced by 50 percent to obtain the least upper bound on their total length. Better use is made of the strong connectedness of tested machines to achieve a 50 percent reduction over previous bounds on the length of transfer sequences. Both the reduced bounds on characterizing and on transfer sequences are used to derive a bound smaller than those published on the length of checking for a machine possessing a simple I/O sequence and a valid homing sequence. Both resettable and non-resettable machines are examined to determine the effect of the reset feature upon the length of checking experiments. (Author)

Descriptors :   (*DIGITAL COMPUTERS, *RELIABILITY(ELECTRONICS)), (*LOGIC CIRCUITS, MAINTENANCE), INPUT OUTPUT DEVICES, MATHEMATICAL LOGIC, FAILURE(ELECTRONICS), MATHEMATICAL MODELS, INEQUALITIES, THEOREMS

Subject Categories : Computer Hardware
      Mfg & Industrial Eng & Control of Product Sys

Distribution Statement : APPROVED FOR PUBLIC RELEASE