The Fully Self-Checking Structures Synthesis Features of Concurrent Checking Systems Implemented on the Boolean Complement Method Basis to the Constant-Weight “2-out-of-4” Code

The concurrent checking system structural diagram properties implemented by the Boolean method to the constant-weight “2-out-of-4” code is analyzed. The conditions for the implementation of fully self-checking structures are established. These conditions are stringent and practically feasible in most cases when controlling multi-output discrete devices. In this case, it will be necessary to implement the control logic block in the control system in the form of a circuit with independent outputs. An example of the outputs controllable groups detection is shown. Completely self-checking structures will be obtained by implementing concurrent checking subsystems using this method.