On-SetRealization ofFail-Safe Sequential Machines
Jean‐Claude Geffroy, M. Courvoisier · 1974
Fail-safe sequential machines canbeconstructed in suchawaythat ifafailure happens inthesequential part, theulterior functioning mustcarry onoutside thecodechosen torepresent the setofstates. Thispaper presents astudy ofthefailures intheinput combinational circuit andofthefeasibility conditions ofsequential machines withstates codedbyak-out-of-n code. Theelectronic circuit isrealized inaclassical way(on-set realization) andmust obeytwohypotheses, 1)nofailure onclock lineC,and2)single fault (stuck at0orstuck at1)onother connections thanC. IndexTerms-Constraining set,fail-safe sequential machines, k-out-of-n code,on-set realization, predecessor set.