Using smart diagnostic scheme for fault detection in the fault tolerant system to eliminate intermittent and permanent faults causing digital system failure

It is possible to mask the effect of intermittent and permanent faults by using modular redundancy. The PMC model is a useful model for fault detection for fault tolerant systems. One can write an artificial language program for the fault detection with the minimal number of fault diagnosis axioms.