The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.02 - February (1979 vol.28)
pp: 153-156
R.D. Braun , Seneca Army Depot
ABSTRACT
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.
INDEX TERMS
validating sequence, Checking experiments, fault detection, sequential machines, synchronous machines
CITATION
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
29 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool