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
J.E. Smith, P. Lam, "A Theory of Totally Self-Checking System Design", IEEE Transactions on Computers, vol.32, no. 9, pp. 831-844, September 1983, doi:10.1109/TC.1983.1676332