ГОСТ IEC 60730-1—2011
Н.2.18.13 проверка вероятности (plausibility check): Метод контроля повреждения,’ошибки, заключаю
щийся в проверке программы на недопустимую очередность ее выполнения, а также впроверке устройства ввода
или вывода на согласование действий или данных.
П р и м е ч а н и е — В качестве примера может служить дополнительное прерывание, после завершения
определенного количества циклов или проверок, для деления на нуль.
Н.2.18.14 проверка протокола (protocol test): Метод контроля повреждения/ошибки, при котором происхо
дит обмен данными с и между компонентами компьютера для обнаружения ошибок во внутреннем протоколе
сообщений.
Н.2.18.15 взаимное сравнение (reciprocal comparison): Метод контроля повреждения/ошибки в двухканаль-
ных (однотипных) структурах, основанный на взаимном сравнении данных, которыми обмениваются два
процессора.
П р и м е ч а н и е — Термин «взаимный» относится к обмену аналолтчными данными.
Н.2.18.16 формирование избыточных данных (redundant data generation): Процедура создания двух или
более независимых средств, таких как. генераторы кодов, для выполнения одной и той же задачи.
Н.2.18.17 избыточный контроль (redundant monitoring): Метод контроля, предусматривающий наличие двух
или более независимых средств, таких как сторожевые устройства и устройства сравнения, выполняющих одну и
ту же задачу.
Н.2.18.18 планирование передачи данных (scheduled transmission): Процедура передачи данных, при
которой информация от определенного отправителя пересылается только в заранее установленное время и с
определенной последовательностью, в противном случае, приемное устройство будет рассматривать информа
цию. как ошибку связи.
контроль четности одноразрядной шины (single bit bus parity) (см. H.2.18.1.3).
H.2.18.19 разновидность программного обеспечения (software diversity): Метод контроля повреждения/
ошибки, при котором все программное обеспечение или его часть вводится дважды в форме альтернативного
кода программного обеспечения.
П р и м е ч а н и е — Например, альтернативные формы программного обеспечения могут создаваться
различными программами, различными языками или различными схемами компиляции и могут располагаться
в различных каналах аппаратного обеспечения или в различных участках памяти одного канала.
Н.2.18.20 модель константной неисправности (stuck-at fault model): Модель неисправности, представляю
щая разомкнутую цепь или неизменный уровень сигнала.
П р и м е ч а н и е — Обычно подразумеваются типы неисправности, такие как. «константная разомкнутая»,
«константная 1» или «константный 0».
Н.2.18.21 проверка контроля (tested monitoring): Наличие независимых средств, такихкак охранные устрой
ства и устройства сравнения, которые проверяются при запуске или периодически во время работы.
Н.2.18.22 проверочная модель (testing pattern): Метод контроля повреждения/ошибки. используемый
для периодической проверки устройств ввода, устройств вывода и интерфейсов управляющего устройства.
Проверочную модель вводят в устройство, и полученные результаты сравнивают с предполагаемыми значения
ми. Используют независимые средства для ввода проверочной модели и оценки результатов. Проверочная
модель должна быть сконструирована так. чтобы не оказывать влияния на работу управляющего устройства.
контроль интервалов времени и логический контроль (time-slot and logical monitoring) (см. H.2.18.10.3).
контроль интервала времени очередности выполнения программы (time-slot monitonng ofthe programme
sequence) (см. H.2.18.10.4).
избыточность передачи (transfer redundancy) (см. H.2.18.2.2).
H.2.19 Определения, относящиеся к проверке памяти управляющих устройств с программным
обеспечением
Н.2.19.1 проверка методом Абрахама (Abraham test): Особый вид испытаний модели переменной памяти,
при проведении которых идентифицируются все константные неисправности и неисправности соединений между
запоминающими ячейками.
П р и м е ч а н и е — Число операций, необходимых для выполнения полной проверки памяти, составляет,
приблизительно 30 п. где п - количество ячеек в памяти. Проверку можно сделать открытой для использования во
время рабочего цикла путем разбиения памяти и проверки каждой ячейки в различные отрезки времени.
Подробная информация дана в: Abraham. J.A.: Thatte, SM.; «Обнаружение повреждений тестирующих про
грамм для микропроцессора». Proceedings of the IEEE Test Conference 1979, p. p 18-22
H.2.19.2 проверка памяти GALPAT (GALPAT memory test): Метод контроля повреждения/ошибки, при кото
ром одна ячейка памяти в поле равномерно записанных ячеек памяти записывается в обратном порядке, после
чего производится проверка оставшейся части памяти. После каждой операции считывания одной из
оставшихся
143