Ошибки механизма дешифрации обнаруживаются со следующими вероятностями:
–переход Ki/Kj – с вероятностью (1 – 1/m);
–переход Ki/ – с единичной вероятностью;
–переход Ki/Vν Kν – в случае, если затронуты избыточные разряды, в которых хранится цвет команды.
Для механизма хранения обнаруживаются все однократные ошибки и ошибки, нарушающие четность команды.
ССВК, как видно на рис. 4.32, достаточно проста и требует минимального объема аппаратуры. Ошибка обнаруживается в момент
еепроявления, поэтому для восстановления после сбоя достаточно еще раз прочитать текущую команду.
Отсюда видно, что обнаруживающая способность данного метода контроля по отношению к дефектам механизма хранения низка. Для улучшения ее разработан следующий вариант метода контроля с использованием раскраски ГСА.
Метод контроля команд, реализующий раскраску с учетом структуры команды
Программа преобразуется в ГСА так же, как в предыдущем методе. Затем производится раскраска ГСА с помощью введения, если это необходимо, диагностических вершин. Диагностические вершины можно выбирать из той же совокупности команд, что и в предыдущем случае. Однако цвет команды определяется по структуре самой команды. Назовем цветом команды вес двоичного представления команды, взятый по модулю m, сложенный с числом, записанным в избыточных разрядах:
r ( Ai ) = W (mod m) + kизб .
Предлагается вводить в команду дополнительные разряды так, чтобы цвет модифицированной команды соответствовал цвету, присвоенному команде при раскраске ГСА.