Issue No.02 - February (1979 vol.28)
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  or valid homing sequences , 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.D. Braun, D.D. Givone, "An Improved Algorithm for Deriving Checking Experiments", IEEE Transactions on Computers, vol.28, no. 2, pp. 153-156, February 1979, doi:10.1109/TC.1979.1675306