ГОСТ Р МЭК 61508-7—2007
веряется. Эта процедура повторяется для каждой ячейки в выбранной области памяти. Второе прохождение
выполняется противоположно первому. Любые различия приводят к выдаче сообщения об ошибке.
Тестирование «прозрачной попарной записью-считыванием» представляет собой вариацию описанной
выше процедуры: вместо инициализации всех ячеек в выбранной области памяти существующее содержимое
остается неизменным, а для сравнения содержимого набора ячеек используются контрольные суммы (сигнату
ры). Выбирается первая тестируемая ячейка области памяти и вычисляется и сохраняется сигнатура S1 всех
оставшихся ячеек области. Затем тестируемые ячейки инвертируются, и повторно вычисляется сигнатура S2.
(После каащогодоступа по чтению к одной из оставшихся ячеек инвертируемая ячейка также проверяется). Сигна
тура S2 сравнивается с сигнатурой S1 и прилюбом различии выдается сообщение об ошибке. Тестируемая ячейка
повторно инвертируется для повторного установления исходного содержимого и сигнатура S3 всех оставшихся
ячеек повторно вычисляется и сравнивается с сигнатурой S1. Любые различия приводят к выдаче сообщения об
ошибке. Все ячейки памяти в выбранной области тестируются тем же способом.
Литература:
Enhvurf von Selbsttestprogrammen fiif Mikroccmputer. E. Maehle, Microcomputing. Benchte tier Tagung III/79
des German Chapter of ACM. W. Remmele. H. Schecher. (ed.). Stuttgart. Teubner. 204-216, 1979.
Periodischer Selbsttest einer mikroprocessorgesteuerten Sicherheitsschaltung. U. Stinnesbek. Diplomarbeit am
Institut fiir theoretische Elektrotechnik der RWTH Aachen 1980.
A.5.4 Тест «Абрахам» для памяти с произвольным доступом
П р и м е ч а н и е — Ссылка на данный метод/средство приведена в МЭК 61508-2 (см. приложение А. таб
лицу А.6).
Цель: обнаружение всех постоянных отказов и отказов в соединениях между ячейками памяти.
Описание: диагностический охват выше, чем при тесте «попарная запись-считывание». Число операций,
необходимых для выполнения всего тестирования памяти, составляет примерно 30 п, где п - число ячеек памяти.
Тестирование может быть «прозрачным» при выполнении запоминания и тестирования в различных временных
сегментах в периоде рабочего цикла.
Литература:
Efficient Algorithms for Testing Senriconductor Random-Access Memories. R. Nair. S. M. Thatte, J. A. Abraham.
IEEE Trans. Comput. C-27 (6). 572-576. 1978.
A.5.5 Однобитовая избыточность (например контроль памяти с произвольным доступом с помощью
бита четности)
П р и м е ч а н и е — Ссылка на данный метод/средство приведена в МЭК 61508-2 (см. приложение А. таб
лицу А.6).
Цель: обнаружение 50 % всех возможных битовых отказов в тестируемой области памяти.
Описание: каждое слово в памяти расширяется на один бит (бит четности), который дополняет каждое
слово до четного или нечетного числа логических единиц. Четность слова данных проверяется при каждом чте
нии. При обнаружении ложного числа единиц выдается сообщение об ошибке. Выбор четности или нечетности
должен осуществляться так. чтобы всякий раз вслучав отказа не выдавалось ничего кроме нулевого (0) и единич
ного (1) слова, вырабатывалось уведомление о том. что это слово неправильно закодировано. Контроль четности
также гложет быть использован для обнаружения ошибок адресации, если четность определяется для объедине ния
слова данных с его адресом.
Литература:
Integrierte Digitalbausteine. К. Rei[i, Н. Liedl. W. Spichall. Berlin, 1970.
A.5.6 Контроль памяти с произвольным доступом с помощью модифицированного кода Хэмминга или
обнаружение ошибокданных с кодами обнаружения и исправления ошибок (ЕОС)
Примечан ие — См. также А.4.1 иС.3.2. Ссылка наданный метод/средство приведена вМЭК 61508-2 (см.
приложение А. таблицу А.6).
Цель: обнаружение всех нечетных битовых отказов, всех двухбитовых отказов, некоторых трехбитовых отка
зов и некоторых многобитовых отказов.
Описание: каждое слово в памяти расширяется несколькими избыточными битами для выработки модифи
цированного кода Хэмминга с расстоянием Хэмминга равным, по меньшей мере. 4. При каждом считывании
слова проверка избыточных битов может указывать, произошло или нет искажение. При обнаружении различий
выдается сообщение об отказе. Эта процедура может быть также использована для обнаружения ошибок адреса
ции при вычислении избыточных битов для объединения слова данных с его адресом.
Литература:
Error detecting и елог conecting codes. R. W. Hamming. The Bell System Technical Journal 29 (2). 147-160.
1950.
Priifbare und konigrerbare Codes. W. W. Peterson, Munchen, Oldenburg. 1967.
10