DocumentCode
1110312
Title
N-Fail-Safe Sequential Machines
Author
Takaoka, Tadao ; Ibaraki, Toshihide
Author_Institution
Electrical Communication Laboratories, Nippon Telegraph and Telephone Public Corporation
Issue
11
fYear
1972
Firstpage
1189
Lastpage
1196
Abstract
Let S be a sequential machine with binary (i. e., 0 or 1) input and binary output. Suppose that the third value N, different from 0 and 1, represents the faulty input or output value. An N-fail-safe (NFS) machine S̄ of S is then defined as a sequential machine with ternary (i.e., 0, 1, or N) input and ternary output such that: 1) S is a submachine of S̄, and 2) possible output failures of S̄ are 0→N or 1→ N for any input failures 0→N or 1→N. This machine may be considered "fail-safe" since no failure such as 0→1 or 1→0 occurs in the output.
Keywords
Asymmetric failure, fail-safe sequential machine, failure detecting circuit, half-weight code, information loss set, N-fail-safe sequential machine, one-weight code, state assignment.; Circuit faults; Computational modeling; Delay; Laboratories; Logic; Mathematics; Physics; Sequential circuits; Telegraphy; Telephony; Asymmetric failure, fail-safe sequential machine, failure detecting circuit, half-weight code, information loss set, N-fail-safe sequential machine, one-weight code, state assignment.;
fLanguage
English
Journal_Title
Computers, IEEE Transactions on
Publisher
ieee
ISSN
0018-9340
Type
jour
DOI
10.1109/T-C.1972.223476
Filename
1672069
Link To Document