Self-check computing devices and systems (survey)

Fundamental Soviet and foreign papers on procedures for design of self-check computing devices and systems are analyzed. Formal definitions are given for selfcheck in-built check circuits are given for redundant codes and for discrete devices. The existing methods are considered for insuring self-checking of in-built control circuits and discrete devices. Methods for design of one-output self-check in-built circuits are analyzed.