Title :
Sequential Machines Capable of Fault Diagnosis
Author :
Murakami, Shin-ichi ; Kinoshita, Kozo ; Ozaki, Hiroshi
Author_Institution :
IEEE
Abstract :
By a checking sequence for a sequential machine, we mean an input-output sequence with a special property such that, when the input sequence is applied to the machine, the decision whether or not the machine operates correctly can be made by comparing the output sequence with the output of the machine.
Keywords :
Checking sequence, fault detection, fault diagnosis, sequential machine with fault-detection capabilities.; Circuit faults; Counting circuits; Design methodology; Electrical fault detection; Fault detection; Fault diagnosis; Integrated circuit interconnections; Integrated circuit reliability; Integrated circuit technology; Logic; Checking sequence, fault detection, fault diagnosis, sequential machine with fault-detection capabilities.;
Journal_Title :
Computers, IEEE Transactions on
DOI :
10.1109/T-C.1970.222835
