КОНТРОЛЬ ЦВМ

— определенный процесс, устанавливающий наличие неисправностей в цифровой вычислительной машине. Эффективность К. ЦВМ выражается через вероятность обнаружения неисправностей ЦВМ, относящихся к одному классу или к разным классам (сбои, отказы одиночные и кратные). К. ЦВМ оценивается также надежностью самого процесса контроля, т. е. возможностью его выполнения при наличии неисправностей. К. ЦВМ слагается из выполнения ряда проверок, во время которых обычно вычисляются значения истинности некоторого предиката, соответствующие наличию и отсутствиюнеисправностей. К. ЦВМ осуществляется спец. алгоритмами, проверяющими наличие вызванных неисправностями ошибок в результатах выполнения операций ЦВМ (см. Операции машинные). Эти алгоритмы требуют для своей реализации дополнительных затрат либо оборудования (т. н. аппаратные средства К. ЦВМ), либо времени. Если одновременно с выполнением всех или некоторых операций (микроопераций) рабочих программ автоматически и без указания составителем рабочей программы выполняются операции алгоритма контроля, реализуемые с помощью аппаратных средств, то ЦВМ имеет автомат, аппаратный контроль.

Распространены два способа охвата рабочего оборудования аппаратным контролем: 1) контроль передач (обычно по четности); 2) контроль по модулю , обычно Первый позволяет обнаружить все ошибки (нечетной кратности) при простых (без преобразований) пересылках чисел и команд и требует ввести в ЦВМ 5 - 10% дополнительного оборудования. Второй позволяет обнаруживать все однократные ошибки и часть ошибок большей кратности. Чем больше , тем выше вероятность обнаружения ошибок большей кратности. Этот контроль требует до 30% дополнительного оборудования и реализуется путем одновременного выполнения арифм. рабочих и контрольных операций с последующим сравнением их результатов.

В силу непрерывности выполнения аппаратный К. ЦВМ обнаруживает не только отказы, но и сбои. В отличие от аппаратных, программные алгоритмы контроля требуют затрат времени, а не оборудования. Алгоритмами программного контроля являются: периодически выполняемые испытательные программы и расширенные (включением двойного-тройного счета, контрольных соотношений) рабочие программы (см. Контроль программный). Осн. задачи, которые решают при создании испытательных программ: 1) построение тестов, обнаруживающих неисправности (одиночные, кратные, явные, неявные — проявляющиеся в тяжелых режимах); 2) построение надежной и быстродействующей последовательности проверок.

Необходимость применения аппаратного или программного контроля определяется назначением ЦВМ. Для ЦВМ, используемых в ответственных системах, применяют аппаратный по модулю и программный контроль, используя последний как средство профилактической проверки всего оборудования (в т. ч. и реализующего аппаратный контроль). Сравнивая программный и аппаратный контроль, учитывают, что дополнительное оборудование аппаратного К. ЦВМ повышает вероятность возникновения неисправности (в пределе до 30%), а программный не позволяет достигнуть максимума полезного времени работы ЦВМ. Применяя К. ЦВМ в процессе профилактических мероприятий, зачастую используют также дополнительное оборудование, позволяющее создавать профилактические режимы работы оборудования (более тяжелые, чем нормальный). Обычно К. ЦВМ дает некоторую информацию о месте неисправности. Для дальнейшего поиска блока, содержащего отказ или породившего сбой, применяется диагностика неисправностей ЦВМ:

Лит.: Клямко Э. И. Схемный и тестовый контроль автоматических цифровых вычислительных, машин. М., 1963 [библиогр. с. 191]; Миронов Г. А. Испытательные программы для контроля электронных цифровых машин. М., 1964 [библиогр. с. 266—267]; Путинцев Н. Д. Аппаратный контроль управляющих цифровых вычислительных машин. М., 1966 [библиогр. с. 417—418]; Сидоров А. М. Методы контроля электронных цифровых машин. М., 1966 [библиогр. с. 160]; Волков А. Ф., Ведешенков В. А., 3енкин В. Д. Автоматический поиск неисправностей в ЦВМ. М., 1968 [библиогр. с. 144—146]. Г. Л. Миронов.