The Community for Technology Leaders
RSS Icon
Issue No.02 - February (1979 vol.28)
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.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
128 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool