A Theory of Totally Self-Checking System Design

A totally self-checking digital system uses error detecting codes at subsystem interfaces to detect faults before they can lead to harmful undetected errors. This paper develops a formal model for studying totally self-checking systems.

[1]  Arthur D. Friedman,et al.  Efficient Design of Self-Checking Checker for any m-Out-of-n Code , 1978, IEEE Transactions on Computers.

[2]  John F. Wakerly,et al.  Error detecting codes, self-checking circuits and applications , 1978 .

[3]  Füsun Özgüner.  Design of Totally Self-Checking Asynchronous Sequential Machines , 1975 .

[4]  D.A. Rennels.  Architectures for fault-tolerant spacecraft computers , 1978, Proceedings of the IEEE.

[5]  Frederick F. Sellers,et al.  Error detecting logic for digital computers , 1968 .

[6]  James Edward Smith.  The design of totally self-checking combinational circuits. , 1976 .

[7]  Richard M. Sedmak,et al.  Fault Tolerance of a General Purpose Computer Implemented by Very Large Scale Integration , 1980, IEEE Transactions on Computers.

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

[9]  Gernot Metze,et al.  Design of Totally Self-Checking Check Circuits for m-Out-of-n Codes , 1973, IEEE Transactions on Computers.

[10]  J. Presper Eckert,et al.  The UNIVAC system , 1951, AIEE-IRE '51.

[11]  Robert W. Cook,et al.  Design of a Self-Checking Microprogram Control , 1973, IEEE Transactions on Computers.

[12]  W.N. Toy,et al.  Fault-tolerant design of local ESS processors , 1978, Proceedings of the IEEE.

[13]  Michel Diaz,et al.  Unified Design of Self-Checking and Fail-Safe Combinational Circuits and Sequential Machines , 1979, IEEE Transactions on Computers.

[14]  Ralph J. Preiss,et al.  Design of Serviceability Features for the IBM System/360 , 1964, IBM J. Res. Dev..

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

[16]  RENA DAVID,et al.  Modular Design of Asynchronous Circuits Defined by Graphs , 1977, IEEE Transactions on Computers.

[17]  Yves Crouzet,et al.  Design of Self-Checking MOS-LSI Circuits: Application to a Four-Bit Microprocessor , 1980, IEEE Transactions on Computers.

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

[19]  Sudhakar M. Reddy,et al.  On Totally Self-Checking Checkers for Separable Codes , 1977, IEEE Transactions on Computers.

[20]  D. C. Ko,et al.  The design of self-checking multi-output combinational circuits , 1899 .

[21]  M. J. Ashjaee,et al.  Totally-self-checking check circuits for separable codes , 1976 .

[22]  Alan M. Usas.  A Totally Self-Checking Checker Design for the Detection of Errors in Periodic Signals , 1975, IEEE Transactions on Computers.