Abstract
The paper describes the research results in the field of developing the methods of the synthesis of fault-tolerant discrete devices. The authors propose to use the signal correction structure based on duplication with the integrated control circuit in the synthesis of discrete devices. A generalized structure of signal correction based on duplication and control by some diagnostic feature is described. Three typical signal correction structures based on duplication are introduced. The first structure is based on the control of calculations by repetition codes. The second structure involves the control of calculations by parity codes. The third structure is based on the control of calculations by a special code with summation of weighted transitions, which was also developed by the authors. In the first structure, any errors are detected at the outputs of the controlled object. In the second structure, any errors with odd multiplicities are detected. In the third structure, any errors are detected, except for errors with the maximum multiplicity (which distort all signals). In the experiment with MCNC Benchmarks, it is shown that the first structure is comparable in implementation complexity to the traditional structure based on triple modular redundancy. Moreover, the structure with the control by repetition codes is slightly inferior to it in complexity. The second structure is much simpler, but correction of any errors is not guaranteed. The third structure makes it possible to construct simpler fault-tolerant devices, while guaranteeing the detection of any errors, with the exception of errors associated with distortions of all output signals of the checking device. Such errors are very rare on the outputs of real devices. The second structure can be used for checking groups of independent outputs by parity codes in the control circuit, which allows detecting any errors in the controlled object. The proposed duplication-based signal correction structures are constructed from standard blocks, which allow them to be used widely enough for the synthesis of fault-tolerant discrete devices.