A Rollback Interval for Networks with an Imperfect Self-Checking Property

Abstract

Dynamic self-checking is a technique used in computers to detect a fault quickly before extensive data contamination caused by the fault can occur. When the self-checking properties of the computer circuits are not perfect, as in the case of self-testing only and partially self-checking circuits, a recovery procedure may be required to roll back program execution to a point prior to the first undetected data error caused by the detected fault.