This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
An Improved Algorithm for Deriving Checking Experiments
February 1979 (vol. 28 no. 2)
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.
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, Feb. 1979, doi:10.1109/TC.1979.1675306
Usage of this product signifies your acceptance of the Terms of Use.