ГОСТ Р МЭК 61508-7—2012
Цель. Оперативное обнаружение отказов в процессоре.
Описание. Процессоры могут быть спроектированы со встроенными специальными функциями распозна
вания или исправления отказов. До сих пор эти функции применялись только в относительно простых схемах и не
получили широкого распространения. Однако такие функции не должны исключаться в будущих разработках.
Литература:
Le Processeur Code: un nouveau concept applique a la securite des syst6mes de transports. Gabriel. Martin.
Wartski. Revue Gdndrale des chemins de fer. No. 6. June 1990.
Vital Coded Microprocessor Principles и Application for Various Transit Systems. P. Forin, IFAC Control Computers
Communications in Transportation, 79—84,1989.
A.3.5 Программное обнаружение несовпадений
П р и м е ч а н и е — Ссылка на данный метод/средство приведена в МЭК 61508-2 (см. приложение А.
таблицаА.4).
Цель. Оперативное обнаружение отказов в процессоре путем динамического программного сравнения.
Описание. Два модуля взаимно обмениваются данными (включая результаты, промежуточные результаты
и тестируемые данные). Если при сравнении данных, выдаваемых с использованием программных средств в каж
домдуле, обнаруживаются различия, то это приводит к выдаче сообщений об отказе.
А.4 Постоянная память
Главная цель. Выявление модификаций информации в постоянной памяти.
А.4.1 Сохранение слов с многобитовой избыточностью (например контроль ROM с модифицирован
ным кодом Хэмминга)
П р и м е ч а н и е — См. также А.5.6 и С.3.2. Ссылка на данный метод/средство приведена в МЭК 61508-2
(см. приложение А. таблица А.5).
Цель. Обнаружение всех однобитовых отказов, всех двухбитовых отказов и некоторых отказов во всех битах
в 16-битовом слове.
Описание. Каждое слово в памяти расширяется несколькими избыточными битамидля формирования моди
фицированного кода Хэмминга с расстоянием, равным 4 (по меньшей мере). При каждом считывании слова про
верка избыточных битов может указывать, произошло ли искажение. При обнаружении различия вырабатывается
сообщение об отказее. Эта процедура может также использоваться для обнаружения ошибок адресации путем
вычисления избыточных битов для объединения слова данных с его адресом.
Литература:
Prufbare und korrigierbare Codes. W.W. Peterson. Munchen. Oldenburg. 1967.
Error detecting and error correcting codes. R.W. Hemming. The Bell System Technical Journal 29 (2). 147—160,
1950.
A.4.2 Модифицируемая контрольная сумма
П р и м е ч а н и е — Ссылка на данный метод/средство приведена в МЭК 61508-2 (см. приложение А.
таблица А.5).
Цель. Обнаружение всех отказов нечетных битов, то есть приблизительно 50 % всех возможных битовых
отказов.
Описание. Контрольная сумма блока памяти образуется соответствующим алгоритмом, который обрабаты
вает все слова в блоке памяти. Эта контрольная сумма может храниться как дополнительное слово в ROM. либо
может быть добавлена как дополнительное слово в блок памяти для того, чтобы алгоритм контрольной суммы
выработал заранее заданное значение. В последнем тестировании памяти контрольная сумма создается снова
с использованием того же алгоритма, и результат сравнивается с запомненным или заданным значением. При
об наружении различий вырабатывается сообщение об ошибке.
А.4.3 Сигнатура из одного слова (8 бит)
П р и м е ч а н и е — Ссылка на данный метод/средство приведена в МЭК 61508-2 (см. приложение А.
таблица А.5).
Цель. Обнаружение всех однобитовых отказов и всех многобитовых ошибок в слове при достижении при
близительно 99.6 % всех возможных битовых отказов.
Описание. Содержимое блока памяти сжимается (с использованием аппаратных или программных средств)
в одно слово памяти с использованием алгоритма контроля с помощью избыточного циклического кода (CRC).
Типичный алгоритм CRC рассматривает все содержимое блока памяти как побайтовый или побитовый
последо вательный поток данных, в котором выполняется непрерывное полиномиальное деление с
использованием по линомиального генератора. Остаток от деления сохраняется и представляет собой сжатое
содержимое памяти — «сигнатуру» памяти. Сигнатура вычисляется каждый раз при последующем тестировании
и сравнивается с уже запомненным значением. При обнаружении различий выдается сообщение об ошибке.
А.4.4 Сигнатура из двух слов (16 бит)
П р и м е ч а н и е — Ссылка на данный метод/средство приведена в МЭК 61508-2 (см. приложение А.
таблица А.5).
7