Basic Properties of Strongly Code Disjoint Checkers

摘要

In order to ensure total self checking, checkers have been introduced by Carterand defined by Anderson to be totally self checking: that is they are code disjoint, self testing, and fault secure. Checkers which are only code disjoint and self testing are also discussed. Strongly code disjoint checkers are not fault secure. Some researchers feel that the fault secure property is indeed necessary. This lack of agreement about the basic concepts of checkers is an important drawback in further research on self checking checkers. The various arguments used in the debate are presented. Aspects of the problem over which there is the most disagreement are highlighted. Some important points concerning strongly code disjoint checkers are discussed.