Issue No.01 - January (1998 vol.47)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/12.656082
<p><b>Abstract</b>—This paper presents the design of strongly fail-safe interfaces which transform binary signals, generated by a system with error detection capabilities and eventually with fault-tolerant capabilities, into fail-safe signals, that is to say, into signals which, in the presence of failures, will be either correct or safe. The strongly fail-safe property is achieved by means of concurrent checking techniques. The interest of these interfaces is that they can be implemented in VLSI, while the conventional fail-safe interfaces require using discrete components. A formal theory of fail-safe systems is developed to guide the implementation of the new solutions.</p>
Fail-safe circuits, totally fail-safe circuits, strongly fail-safe circuits, self-checking circuits, fail-safe comparators, fail-safe voters.
Michael Nicolaidis, "Fail-Safe Interfaces for VLSI: Theoretical Foundations and Implementation", IEEE Transactions on Computers, vol.47, no. 1, pp. 62-77, January 1998, doi:10.1109/12.656082