Цвет Четность Цвет ГСА

0_о 01101011 000 1 0

А ₁ 00110101 001 0 1

А ₂ 01000100 010 0 2

А ₃ 10111000 011 0 3

А ₄ 00010110 011 1 3

А ₅ 01011101 100 1 4

А ₆ 00101011 000 0 0

А ₇ 10001101 001 0 1

А ₈ 11101011 000 0 0

А_k 11000011 011 0 3

 

Контроль выполнения программы осуществляется следующим обра­зом. При выборке очередной команды цвет сравнивается с эталоном, про­изводится проверка на четность, а также специальная схема ИЛИ-НЕ оп­ределяет, не произошло ли пропадание команды. ССВК, реализующая данный метод контроля, приведена на рис. 4.32. В качестве примера реали­зована ССВК для m = 2. Счетчик по модулю 2 формирует эталонную по­следовательность цветов, в качестве строба выступает сигнал выборки очередной команды. На схему ИЛИ-НЕ поступают основные разряды ко­манды и дополнение до четности, схема проверяет, не произошло ли про­падание команды. Первый сумматор по модулю 2 производит проверку на четность основных разрядов команды и дополнения до четности. Второй сумматор по модулю 2 осуществляет сравнение эталонного цвета с цветом, записанным в избыточных разрядах команды, а также выявляет наличие единицы (т.е. присутствие дефекта) на схемах ИЛИ-НЕ первого сумматора по модулю 2. Для обеспечения самопроверяемости СВК имеет два выхода: S ₁ и S ₂. При отсутствии строба с S ₁ выходит единица, а с S ₂ – нуль, за это время происходят все необходимые преобразования и сравнения. При появ­лении сигнала «строб» S ₁ переходит в 0, а на выходе S ₂ при правильной ра­боте будет 1. Если же в команде имеется один из оговоренных дефектов, то в момент строба на выходе S ₂ будет нуль.

S 1

S 2

Рис. 4.32. ССВК для контроля по цвету

 

 

Однако ССВК, представленная на рис. 4.32, не является полностью самопроверяемой. Постоянный нуль на выходе второго сумматора, напри­мер, обнаружен не будет, равно как и постоянный нуль на выходе схем ИЛИ-НЕ и первого сумматора по модулю два. Чтобы построить полностью самопроверяемую СВК, надо использовать самопроверяемую схему ИЛИ-НЕ и самопроверяемые сумматоры по модулю два. Эти изменения отра­жены пунктиром на рис. 4.33. Для данного метода

 

,

 

t _изб.max рассчитаем по наихудшему случаю, когда программа состоит из одинаковых команд и между каждой парой команд приходится вставлять m – 1 диагностическую вершину:

 

что при достаточно большом N (число вершин в непреобразованной ГСА) даст

.

 

Ошибки механизма дешифрации обнаруживаются со следующими вероятностями:

– переход K_i / K_j – с вероятностью (1 – 1/ m);

– переход K_i /Æ – с единичной вероятностью;

– переход K_i / V_n K_n – в случае, если затронуты избыточные разряды, в которых хранится цвет команды.

 

S 2 S 1 Рис. 4.33. Полностью самопроверяемые СВК

 

Для механизма хранения обнаруживаются все однократные ошибки и ошибки, нарушающие четность команды.

ССВК, как видно на рис. 4.32, достаточно проста и требует мини­мального объема аппаратуры. Ошибка обнаруживается в момент ее прояв­ления, поэтому для восстановления после сбоя достаточно еще раз прочи­тать текущую команду.

Отсюда видно, что обнаруживающая способность данного метода контроля по отношению к дефектам механизма хранения низка. Для улуч­шения ее разработан следующий вариант метода контроля с использова­нием раскраски ГСА.