ГОСТ Р МЭК 61508-7—2007
Описание: аппаратные средства создаются с использованием стандартных методов, не учитывающих спе
циальных требований к безопасности. Обнаружение отказов реализуется целиком дополнительными програм
мными функциями, которые выполняют самотестирование с использованием, по меньшей мере, двух дополни
тельных комбинаций данных (например 55hex и AAhex).
Литература:
Microcomputers in safety technique — an aid to orientation for developer and manufacturer. H. Holscher, J. Rader.
Veriag TUV Rheinland. K«n. 1986. ISBN 3-88585-315-9.
A.3.2 Программное самотестирование: блуждающий бит (одноканальное)
П р и м е ч а н и е — Ссылка на данный метод/средство приведена в МЭК 61508-2 (см. приложение А. таб
лицуА.4).
Цель: оперативное обнаружение отказов а физической памяти (например, в регистрах) и дешифраторе
команд процессора.
Описание: обнаружение отказов полностью реализуется дополнительными программными функциями,
которые выполняют самотестирование с использованием комбинации данных (например комбинации блуждаю
щих битов), которая тестирует физическую память (регистры данных и адресные регистры) идешифратор команд.
Однако диагностический охват составляет только 90 %.
Литература:
Microcomputers in safety technique — an aid to orientation for developer and manufacturer. H. Hdlscher. J. Rader.
Veriag TUV Rheinland. K6ln. 1986. ISBN 3-88585-315-9.
A.3.3 Самотестирование, обеспечиваемое оборудованием (одноканальное)
П р и м е ч а н и е — Ссылка на данный метод/средство приведена в МЭК 61508-2 (см. приложение А. таб
лицу А.4).
Цель: оперативное обнаружение отказов в процессоре с использованием специальных аппаратных средств,
которые увеличивают скорость и расширяют область обнаружения отказов.
Описание: дополнительные специальные аппаратные средства обеспечивают функции самотестирования
для обнаружения отказов. Например, таким средством может быть аппаратный модуль, который циклически
контролирует выход на наличие конкретной битовой комбинации, используя механизм сторожевой схемы.
Литература:
Microcomputers in safety technique — an aid to orientation for developer and manufacturer. H. Holscher. J. Rader.
Veriag TUV Rheinland. K«n. 1986. IS8N 3-88585-315-9.
A.3.4 Закодированная обработка (одноканальная)
П р и м е ч а н и е — Ссылка на данный метод/средство приведена в МЭК 61508-2 (см. приложение А.
таблицуА.4).
Цель: оперативное обнаружение отказов в процессоре.
Описание: процессоры могут быть спроектированы с встроенными специальными функциями распознава
ния или исправления отказов. До сих пор эти функции применялись только в относительно простых схемах и не
получили широкого распространения. Однако такие функции не должны исключаться в будущих разработках.
Литература:
The Coded Microprocessor Certification. P. Ozello. Proc. SAFECOMP ’92. 185-190. 1992.
Vital Coded Microprocessor Principles и Application for Various Transit Systems. P. Forin. IFAC Control Computers
Communications in Transportation. 79-84. 1989.
Le Processeur Cod6. un nouveau concept applique a la s6curitd des systemes de transports. Gabriel. Martin.
Wartski. Revue G6n6rale des chemins de fer. No. 6. June 1990.
A.3.5 Программное обнаружение несовпадений
Примечание — Ссылка на данный метод/средство приведена вМЭК 61508-2 (см. приложениеА. таблицу
А.4).
Цель: оперативное обнаружение отказов в процессоре путем динамического программного сравнения.
Описание: два модуля взаимно обмениваются данными (включая результаты, промежуточные результаты
и тестируемые данные). Если при сравнении данных, выдаваемых с использованием программных средств в
каждом модуле, обнаруживаются различия, то это приводит к выдаче сообщений об отказе.
Литература:
Microcomputers in safety technique — an aid to orientation for developer and manufacturer. H. Holscher, J. Rader.
Veriag TUV Rheinland. Koln. 1986. ISBN 3-88585-315-9.
А.4 Постоянная память
Главная цель: выявление модификаций информации в постоянной памяти.
А.4.1 Сохранение слов с многобитовой избыточностью (например контроль ROM с модифицирован
ным кодом Хэмминга)
3-7