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