6533b7cffe1ef96bd12582f5

RESEARCH PRODUCT

A Formal Model for Developing of the self-Diagosing and Self-Repairing 8-Bits Microprocessor, and Its Investigation Using Simulation

subject

description

Abstract The complete model of functional diagnostics is theoretically described. It specifies the conditions, which must be satisfied if the system to be self-diagnosable. The general principles of constructing self-diagnosable systems are enumerated. The model enables the realization of self-renewal, too. The model has been developed on the basis of the works by Preparata, Metze, Chien (1967) and Hakimi, Amin (1974) . The model contains a method of diagnostics completely separeted from the physical structure of the system. Recent results (Gruber, 1978; Swiatek, 1982) indicate that it is only necessary to know the set of transformations realized by the circuit. The model has been applied to diagnostics of an 8-bits processor CPU (specially RALU) of a dedicated microprocessor. The methodology presented by Swiatek (1982) has been used. The results of simulation of the emulator of the dedicated microprocessor are then presented. Simulation experiments have confirmed the theoretically foreseen of a self-diagnosable and self-repair microprocessor.