Issue No.05 - May (1971 vol.20)
The analysis and synthesis of the fail-safe logical systems have been studied by many authors. They utilize logical elements with asymmetric failure. It is shown that by duplicating two identical systems in parallel it is possible to raise the reliability of the system considerably. If, for example, 0 is the safe value, the duplicate output (0, 1) or (1, 0) is regarded as 1. The output (0, 0) is regarded as 0, which cannot, however, be judged to be correct or to be incorrect.
Asymmetric failure, complementary duplicate system, erasure error, fail-safe logical system, failure detecting circuit, N-fail-safe function, partially ordered set, prime implicant expansion.
T. Takaoka, H. Mine, "N-Fail-Safe Logical Systems", IEEE Transactions on Computers, vol.20, no. 5, pp. 536-542, May 1971, doi:10.1109/T-C.1971.223287