|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
A Method for the Design of Fault Detection Experiments
June 1970 (vol. 19 no. 6)
pp. 551-558
| ASCII Text | x | ||
| G. Gonenc, "A Method for the Design of Fault Detection Experiments," IEEE Transactions on Computers, vol. 19, no. 6, pp. 551-558, June, 1970. | |||
| BibTex | x | ||
| @article{ 10.1109/T-C.1970.222975, author = {G. Gonenc}, title = {A Method for the Design of Fault Detection Experiments}, journal ={IEEE Transactions on Computers}, volume = {19}, number = {6}, issn = {0018-9340}, year = {1970}, pages = {551-558}, doi = {http://doi.ieeecomputersociety.org/10.1109/T-C.1970.222975}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - JOUR JO - IEEE Transactions on Computers TI - A Method for the Design of Fault Detection Experiments IS - 6 SN - 0018-9340 SP551 EP558 EPD - 551-558 A1 - G. Gonenc, PY - 1970 KW - Checking experiments KW - distinguishing sequence KW - fault detection KW - sequential machines KW - transition checking. VL - 19 JA - IEEE Transactions on Computers ER - | |||
A methodical procedure for organization of fault detection experiments for synchronous sequential machines possessing distinguishing sequences (DS) is given. The organization is based on the transition checking approach. The checking experiment is considered in three concatenative parts: 1) the initial sequence which brings the machine under test into a specific state, 2) the a-sequence to recognize all the states and to establish the information about the next states under the input DS, and 3) the ?-sequence to check all the individual transitions in the state table.
Index Terms:
Checking experiments, distinguishing sequence, fault detection, sequential machines, transition checking.
Citation:
G. Gonenc, "A Method for the Design of Fault Detection Experiments," IEEE Transactions on Computers, vol. 19, no. 6, pp. 551-558, June 1970, doi:10.1109/T-C.1970.222975
Usage of this product signifies your acceptance of the Terms of Use.