Рассмотрим контролируемое цифровое устройство (КУ на рис. 4.24), которое имеет m входов и n выходов. Функционирование КУ отличается некоторой закономерностью, которая позволяет выделить правильные выходные наборы, соответствующие работе КУ без неисправностей, из общей совокупности возможных выходных наборов. Для определения полноты контроля вводят понятие самопроверяемости [3].
 |
Рис. 4.24. Структурная модель контролируемого устройства
Пусть А = { a } – множество рабочих входных наборов КУ, a = { x 1,......, xm }, S – множество неисправностей в КУ, В = { b } – множество выходных наборов исправного устройства, b = { z 1,..., zn }, в состав выходов включаются рабочие выходы устройства { z 1,..., zi } и дополнительные выходы { zi +1,..., zn }, необходимые для контроля (например, состояния элементов памяти), G (a, Si) – выход КУ при наличии неисправности si принадлежит S, G (a, 0) – выход исправного КУ.
Цифровое устройство защищено от неисправностей множества S, если для любого рабочего входного набора и любой неисправности выход устройства с неисправностью, либо не отличается от исправного, либо не совпадает ни с одним правильным выходным набором КУ.
Цифровое устройство называется самотестируемым по отношению к множеству неисправностей S, если для любой неисправности существует такой рабочий входной набор, что выход устройства не совпадает ни с одним выходным набором исправного устройства.
Цифровое устройство является полностью самопроверяемым, если оно как защищено от неисправностей, так и самотестируемо.
