TY - JOUR

T1 - Self-testing automaton networks

T2 - Their design in programmable logical matrices

AU - Astaf'ef, M. V.

AU - Levin, I. S.

AU - Matrosova, A. Yu

AU - Sinel'nikov, V. E.

PY - 2002

Y1 - 2002

N2 - The design of self-testing synchronous automaton networks in a base of programmable logical matrices is studied. Self-testability of the network component is ensured by encoding the automaton internal states by equilibrium codes and elongating the input state codes. Therefore, the microprogram description of the operation of the component is transformed into a positive monotonic system of disjunctive normal forms, i.e., design specification for the component. Precisely monotonic disjunctive normal forms ensure the monotonic generation of solitary constant faults in programmable logical matrices and input poles of the automaton component at the component outputs and steady propagation of the aftereffects of a faults from its emergence point in some component up to the network outputs. Therefore, testers can be used only for external components, whose outputs are the network outputs, and only the output of these components can be observed without regard for their internal states.

AB - The design of self-testing synchronous automaton networks in a base of programmable logical matrices is studied. Self-testability of the network component is ensured by encoding the automaton internal states by equilibrium codes and elongating the input state codes. Therefore, the microprogram description of the operation of the component is transformed into a positive monotonic system of disjunctive normal forms, i.e., design specification for the component. Precisely monotonic disjunctive normal forms ensure the monotonic generation of solitary constant faults in programmable logical matrices and input poles of the automaton component at the component outputs and steady propagation of the aftereffects of a faults from its emergence point in some component up to the network outputs. Therefore, testers can be used only for external components, whose outputs are the network outputs, and only the output of these components can be observed without regard for their internal states.

UR - http://www.scopus.com/inward/record.url?scp=84904240131&partnerID=8YFLogxK

U2 - 10.1023/A:1020404914530

DO - 10.1023/A:1020404914530

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:84904240131

SN - 0005-1179

VL - 63

SP - 1637

EP - 1651

JO - Automation and Remote Control

JF - Automation and Remote Control

IS - 10

ER -