Techniques for the Design and Evaluation of Self-Checking Systems.

摘要

The report deals with techniques for the analysis and synthesis of self-checking systems composed of self-checking subsystems. After a brief introduction to the basic concepts of self-checking systems, a graph model for the representation of modules and their interconnections is presented. It is assumed that small self-checking modules can be synthesized by a trial-and-error approach to through the use of two-rail design. Techniques for combining self-checking modules into self-checking systems are discussed and the problem of optimal placement of checkers is considered. A procedure for evaluating the performance of a self-checking system is given. (Author)