|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
Fault-Detection Experiments for Parallel-Decomposable Sequential Machines
November 1975 (vol. 24 no. 11)
pp. 1104-1109
| ASCII Text | x | ||
| P. Das, D.E. Farmer, "Fault-Detection Experiments for Parallel-Decomposable Sequential Machines," IEEE Transactions on Computers, vol. 24, no. 11, pp. 1104-1109, November, 1975. | |||
| BibTex | x | ||
| @article{ 10.1109/T-C.1975.224139, author = {P. Das and D.E. Farmer}, title = {Fault-Detection Experiments for Parallel-Decomposable Sequential Machines}, journal ={IEEE Transactions on Computers}, volume = {24}, number = {11}, issn = {0018-9340}, year = {1975}, pages = {1104-1109}, doi = {http://doi.ieeecomputersociety.org/10.1109/T-C.1975.224139}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - JOUR JO - IEEE Transactions on Computers TI - Fault-Detection Experiments for Parallel-Decomposable Sequential Machines IS - 11 SN - 0018-9340 SP1104 EP1109 EPD - 1104-1109 A1 - P. Das, A1 - D.E. Farmer, PY - 1975 KW - Checking experiment KW - decomposition of sequential machines KW - fault-detection experiments KW - identification of sequential machines KW - parallel decompositions of sequential machines KW - sequential machine KW - structure of sequential machines. VL - 24 JA - IEEE Transactions on Computers ER - | |||
Methods are presented for designing fault-detection experiments for sequential machines which are realized as parallel connections of simpler component machines. The outputs of these components are assumed to be inaccessible for measurement but it is shown that knowledge of the structure can be utilized to design simpler experiments. The procedure is based upon placing all components but one in a fixed reference state prior to measuring input/output sequences for this one component in order to deduce its state table. This means that the only measurable transitions are those which return the other components to their reference states. Such transitions are made in response to application of restricted input sequences and it is necessary that the state table be deduced from such a set of observations.
Index Terms:
Checking experiment, decomposition of sequential machines, fault-detection experiments, identification of sequential machines, parallel decompositions of sequential machines, sequential machine, structure of sequential machines.
Citation:
P. Das, D.E. Farmer, "Fault-Detection Experiments for Parallel-Decomposable Sequential Machines," IEEE Transactions on Computers, vol. 24, no. 11, pp. 1104-1109, Nov. 1975, doi:10.1109/T-C.1975.224139
Usage of this product signifies your acceptance of the Terms of Use.