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