A generalized theory of fail-safe systems

The authors generalize the concept of fail-safe systems and introduce the concept of strongly fail-safe systems. As an application, they present an interface that can be implemented in MOS technologies. It transforms the outputs of self-checking systems into signals adequate to drive electromechanical actuators and such that the whole system (self-checking circuit and interface) is strongly fail-safe.<<ETX>>

[1]  William C. Carter,et al.  Design of dynamically checked computers , 1968, IFIP Congress.

[2]  HISASHI MINE,et al.  Basic Properties and a Construction Method for Fail-Safe Logical Systems , 1967, IEEE Trans. Electron. Comput..

[3]  Tadao Takaoka,et al.  N-Fail-Safe Logical Systems , 1971, IEEE Transactions on Computers.

[4]  Tadao Kasami,et al.  Failsafe Logic Nets , 1971, IEEE Transactions on Computers.

[5]  Takashi Nanya,et al.  Error/Secure/Propagating Concept and its Application to the Design of Strongly Fault-Secure Processors , 1988, IEEE Trans. Computers.

[6]  Nikolaos Gaitanis.  A Totally Self-Checking Error Indicator , 1985, IEEE Transactions on Computers.

[7]  M. Nicolaidis.  An Unified Built in Self-Test Scheme : UBIST , 1986, ESSCIRC '86: Twelfth European Solid-State Circuits Conference.

[8]  Yoshihiro Tohma,et al.  Realization of Fail-Safe Sequential Machines by Using a k-out-of-n Code , 1971, IEEE Transactions on Computers.

[9]  James E. Smith,et al.  Strongly Fault Secure Logic Networks , 1978, IEEE Transactions on Computers.

[10]  Michael Nicolaidis.  A unified built-in-test scheme: UBIST , 1988, [1988] The Eighteenth International Symposium on Fault-Tolerant Computing. Digest of Papers.

[11]  D. A. Anderson,et al.  Design of self-checking digital networks using coding techniques , 1971 .

[12]  Bernard Courtois,et al.  Strongly Code Disjoint Checkers , 1988, IEEE Trans. Computers.