ГОСТ Р ИСО 26262-5—2014
Чтобы захватить такие условия и изолировать систему от подобных ошибок, может быть использована обработка
прерываний по этим ошибкам. Как правипо. для обнаружения систематических отказов используется контроль
аппаратных средств, но он также может быть использован для обнаружения определенных видов случайных сбоев
аппаратных средств. Данный метод обеспечивает низкий охват для некоторых ошибок кодирования и считается
«хорошей практикой» при проектировании.
D.2.4 Постоянная память
Главная Цель. Выявить модификации информации в постоянной памяти.
П р и м е ч а н и е — В зависимости оттипа реализации памяти одиночный сбой может повлиять на несколь
коячеекпамяти. Например, обрыв шины выборки строки ячеекпамяти не позволит прочитать всюстрокуячеекпамя
ти. Этот тип отказа может быть легче обнаружить, если тестируется несколько ячеек памяти.
D.2.4.1 Контроль памяти, используя коды обнаружения и исправления ошибок (EDC)
П р и м е ч а н и е — Ссылки на данный механизм/меру приведены в таблицах D.5 и D.6.
Цель. Обнаружить каждый однобитовый отказ, каждый двухбитовый отказ, некоторые трехбитовые отказы и
некоторые многобитовые отказы в слове (как правипо. 32.64 или 128 бит).
Описание. Каждое слово в памяти расширяется несколькими избыточными битамидля выработки модифици
рованного кода Хэмминга с расстоянием Хэмминга, равным, по меньшей мере. 4. При каждом считывании слова
проверка избыточных битов может указывать, произошло ли искажение. При обнаружении различий выдается
сообщение об отказе.
Данная процедура может быть также использована для обнаружения отказов адресации при вычислении
избыточных битов при объединении слова данных с его адресом. Сдругой стороны,для отказов адресации вероят
ность обнаружения зависит от количества битов EDC для случайных возвращаемых данных (например, разрыв
адресной шины или короткое замыкание одной адресной шины на другую так. что возвращается среднее значение
двух ячеек). Охват равен 0 %. если ошибка адресации приводит ксовершенно другой выбранной ячейке.
Для отказа разрешения записи ячейки а памяти с произвольным доступом EDC может обеспечить высокий
охват,если ячейкане можетбыть инициализирована. Охватравен0%.если отказразрешения записиячейки влияет
на всю ячейку после ее инициализации.
П р и м е ч а н и е — Данную технологию часто называют ЕСС (Error Correcting Code — Код коррекции оши
бок).
D.2.4.2 Модифицируемая контрольная сумма
П р и м е ч а н и е — Ссылка на данный механизм/меру приведена в таблицах D.5.
Цель. Обнаружить каждый однобитовый отказ.
Описание. Контрольная сумма блока памяти образуется соответствующим алгоритмом, который обрабаты
вает все слова а блоке памяти. Эта контрольная сумма может храниться как дополнительное слово в постоянной
памяти, либо может быть добавлена какдополнительное слово в блок памяти для того, чтобы алгоритм контроль
ной суммы выработал заранее заданное значение. При последующем тестировании памяти контрольная сумма
создается снова сиспользованием тогожеалгоритма, и результат сравнивается с запомненным илизаданным зна
чением. При обнаружении различий вырабатывается сообщение об ошибке (20). Вероятность пропущенногообна
ружения составляет 1/(2амЛчвмм0 *оитР°пь>*ой суммы) если возвращается случайный результат. Если конкретные
нарушенияданных являются более вероятными, то некоторые контрольные суммы могутобеспечитьлучшую выяв-
ляемость, чем для случайных результатов.
0.2.4.3 Сигнатура памяти
П р и м е ч а н и е — Ссылка на данный механизм/меру приведена 8таблице D.5.
Цель. Обнаружить каждый однобитовый отказ и большинство многобитовых отказов.
Описание. Содержимое блока памяти «сжимается* (с использованием аппаратных или программных
средств)водин илиболеебайтов с использованием алгоритма контроля с помощью избыточного циклического кода
(CRC). Типичный алгоритм CRC рассматривает все содержимое блока памяти как побайтовый или побитовый
последовательный потокданных, в котором выполняется непрерывное полиномиальное деление с использовани ем
полиномиального генератора. Остаток отделения сохраняется и представляет собойсжатое содержимое памя ти —
«сигнатуру» памяти. Сигнатура вычисляется каждый раз при последующем тестировании и сравнивается с уже
запомненным значением. При обнаружении различий выдается сообщение об ошибке.
CRC являются особенно эффективнымдля обнаружения пакетных ошибок. Эффективность сигнатуры зави
сит ототношения значения многочлена кдлине блока защищаемой информации. Вероятность пропущенногообна
ружения равна единице, деленной на удвоенное значение контрольной суммы, если возвращается случайный
результат (20).
50