ГОСТ Р МЭК 61508-7—2007
Цель: обнаружение всех битовых ошибок.
Описание: адресное пространство дублируется вдвух областях памяти. Первая область памяти работает в
нормальном режиме. Вторая — содержит ту же информацию и доступна параллельно с первой. Их выходы
сравниваются, и при обнаружении различий выдается сообщение об ошибке. Для обнаружения некоторых видов
битовых ошибок данные должны запоминаться инверсно в одной из двух областей памяти и инвертироваться
обратно при чтении.
Литература:
Microcomputers in safety technique — an aid to orientation for developer and manufacturer. H. Holscher, J. Rader.
Veriag TUV Rheinland. K6ln. 1986. ISBN 3-88585-315-9.
Computers can now perform vital safety functions safely. Otto Berg von Linde. Railway Gazette International. Vol.
135. No. 11. 1979.
A.5 Память с произвольным доступом
Главная цель: обнаружение отказов во время адресации, записи, запоминания и считывания.
А.5.1 Тесты «шахматная доска» и «марш» для памяти с произвольным доступом
П р и м е ч а н и е — Ссылка на данный метод/средство приведена в МЭК 61508-2 (см. приложение А. таб
лицу А.6).
Цель: обнаружение преимущественно статических битовых ошибок.
Описание: расположенная в шахматном порядке битовая комбинация нулей и единиц записывается в
ячейки памяти с битовой организацией. Затем эти ячейки анализируются попарно с тем. чтобы убедиться в их
одинаковости и правильности. Адрес первой ячейки такой пары является переменным, а адрес второй ячейки
этой пары образуется путем битового инвертирования первого адреса. При первом прохождении диапазон адре
сов памяти проходится в направлении более высоких адресов переменных адресов, а при втором прохождении —
в направлении более низких адресов. После этого оба прохождения повторяются с заранее заданным инвер
тированием. При обнаружении какого-либо различия выдается сообщение об отказе.
При «маршевом» тестировании памяти с произвольным доступом ячейки памяти с битовой организацией
инициализируются унифицированным потоком битов. При первом прохождении ячейки анализируются в нисхо
дящей последовательности: проверяется правильность содержимого каждой ячейки и ее содержимое инверти
руется. Основа, созданная в первом прохождении, рассматривается при втором прохождении в убывающем
порядке и так же обрабатывается. Первые прохождения повторяются с инвертируемыми предварительными
значениями в третьем и четвертом прохождениях. При обнаружении различий выдается сообщение об отказе.
Литература:
Memory testing.. W. G. Fee. LSI Testing (Tutorial at COMPCON 77 in San Francisco). IEEE Computer Society,
W. G. Fee (ed.). 81-88. 1978.
Memory testing. P. RosenfiekJ. Electronics and Power. H. 1. P. 26-31. 1979.
Halbleiterspeicher-Testfolgen. Th. John, E. Schaefer. Elektronikpraxis. H. 6. 18-26 and H. 7. 10-14. 1980.
A.5.2 Тест «прогулочная дорожка» для памяти с произвольным доступом
П р и м е ч а н и е — Ссылка на данный метод/средство приведена в МЭК 61508-2 (см. приложение А. таб
лицу А.6).
Цель: обнаружение статических и динамических ошибочных битов и перекрестных помех между ячейками
памяти.
Описание: тестируемая область памяти инициализируется унифицированным потоком битов. Затем пер
вая ячейка инвертируется и остальная часть памяти анализируется на правильность. После этого первая ячейка
повторно инвертируется для возврата в исходное значение, и вся процедура повторяется для следующей ячейки.
Второе прохождение «модели блуждающего бита» осуществляется при инверсии всех первоначально назначен
ных значений памяти. При обнаружении различий выдается сообщение об ошибке.
Литература:
Memory testing W. G. Fee. LSI Testing (Tutorial at COMPCON 77 in San Francisco). IEEE Computer Society,
W. G. Fee (ed.). 81-88. 1978.
Techniques for testing the microprocessor family. W. Barraclough. A. Chiang, W. Sohl, Proceedings of IEEE 64 (6).
943-950, 1976.
A.5.3Тест «бегущий код» для памяти с произвольным доступом
П р и м е ч а н и е — Ссылка на данный метод/средство приведена в МЭК 61508-2 (см. приложение А. таб
лицу А.6).
Цель: обнаружение статических битовых ошибок и больших пропорций динамических связей.
Описание: при тестировании памяти с произвольным доступом «попарной записью-считыванием» выбран
ная область памяти сначала инициализируется унифицированно (то есть все 0 или все 1). После этого первая
ячейка памяти тестируется и затем инвертируется, и все остальные ячейки анализируются на правильность со
держимого. После каждого доступа по чтению к одной из оставшихся ячеек инвертированная ячейка также
про-
4— 935
9