On Computer Self-Diagnosis Part II-Generalizations and Design Principles

A general method for the production of self-diagnosis procedures for digital computers is given. A number of principles which facilitate the design of diagnosable machines are proposed. The most general recommendations are that the machine be asynchronous, free of redundant components, and that production of the diagnosis procedure be undertaken concurrently with design of the system. On the level of circuit design, it is recommended that sequential circuits be strongly connected, totally sequential, and of short transient length. System design principles given include the following recommendations. The design should be functionally well-modularized and free of pulse-mode circuitry. Each module of the design should cause a hangup whenever it receives an illegal control sequence from any other module. The design should be minimal in global (intermodular) feedback lines, and the global lines should not undergo transitions until all local (intramodular) lines have settled. All of the above material was motivated by the results of an experimental study reported in a previous paper. A somewhat new type of machine organization suited to the given production method and design principles is proposed (cascade organization). A feasibility study of self-diagnosis of a cascade-organized processor of moderate size is described. The results indicate that self-diagnosis of such a system is feasible although treatment of medium-and large-sized machines will require improved simulation procedures. Finally, several suggestions for further work are made.