The Community for Technology Leaders
Green Image
Issue No. 02 - February (1979 vol. 28)
ISSN: 0018-9340
pp: 153-156
R.D. Braun , Seneca Army Depot
This correspondence provides improvements to the design of checking experiments for sequential machines. Checking experiments can be divided into three parts: an initialization part, a validating part, and a diagnosing part. For synchronous machines not possessing a distinguishing sequence, the longest part of a checking experiment usually is the validating part. Using linking homing sequences as a replacement for locating sequences [1] or valid homing sequences [2], this correspondence shows that the validating part of an experiment can be significantly reduced for such machines.
validating sequence, Checking experiments, fault detection, sequential machines, synchronous machines

R. Braun and D. Givone, "An Improved Algorithm for Deriving Checking Experiments," in IEEE Transactions on Computers, vol. 28, no. , pp. 153-156, 1979.
93 ms
(Ver 3.3 (11022016))