Accession Number:

ADA025608

Title:

The Design of Totally Self-Checking Systems.

Descriptive Note:

Technical rept.,

Corporate Author:

ILLINOIS UNIV AT URBANA-CHAMPAIGN COORDINATED SCIENCE LAB

Personal Author(s):

Report Date:

1976-04-01

Pagination or Media Count:

112.0

Abstract:

A totally self-checking system is a digital system consisting of functional units and hardware checkers interconnected so that faults are detected and indicated as soon as they affect system operation. The functional units employ encoded information which is continually checked by hardware checkers. The selection of information encoding, the design of functional units, and the design of checkers are interrelated each unit must be designed in such a way that, for any of the modeled faults, a non-code output is produced for at least one code input and at the same time an incorrect code output is never produced for a code input. The primary advantage of a totally self-checking design over conventional designs is that it will not produce an erroneous output without an indication. A general purpose minicomputer is redesigned to be totally self-checking. This redesign involves the selection of fault modes and corresponding encodings for each of the functional units, the design of functional units, the design of a microprogrammed totally self-checking control sequencer, and the architectural arrangement of functional units and checkers to achieve a totally self-checking system. Author

Subject Categories:

  • Computer Programming and Software
  • Computer Hardware
  • Computer Systems

Distribution Statement:

APPROVED FOR PUBLIC RELEASE