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

0о 01101011 000 1 0

А1 00110101 001 0 1

А2 01000100 010 0 2

А3 10111000 011 0 3

А4 00010110 011 1 3

А5 01011101 100 1 4

А6 00101011 000 0 0

А7 10001101 001 0 1

А8 11101011 000 0 0

Аk 11000011 011 0 3

 

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

S1
S2

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

 

 

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

 

,

 

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

 

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

.

 

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

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

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

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

 

S2
S1

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

 

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

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

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