The Design of Totally Self-Checking Systems.
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)
Document Details
- Document Type
- Technical Report
- Publication Date
- Apr 01, 1976
- Accession Number
- ADA025608
Entities
People
- David Su-ming Ho
Organizations
- University of Illinois Urbana–Champaign