Issue No. 09 - September (1983 vol. 32)
J.E. Smith , Department of Electrical and Computer Engineering, University of Wisconsin-Madison
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.
totally self-checking systems, Checker placement, detecting codes, error propagation, fault secure, self-testing
P. Lam and J. Smith, "A Theory of Totally Self-Checking System Design," in IEEE Transactions on Computers, vol. 32, no. , pp. 831-844, 1983.