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.
Published in:
Computers, IEEE Transactions on
(Volume:C-32
,
Issue:
9
)
Date of Publication: Sept. 1983