ГОСТ Р 53195.5—2010
«подушка безопасности» (см. В.3.4 настоящего приложения): а для АС — применение дополнительных сенсоров,
контуров регулирования, кодов, обнаруживающих ошибки, и др.
Обнаружение сбоев может обеспечиваться проверками в области значений или во временнбй области на
различных уровнях, особенно на физическом уровне (температура, напряжение и т. п.), на логическом (коды,
обнаруживающие ошибки), на функциональном (утверждения) или на внешнем (проверки достоверности) уровне.
Результаты этих проверок могут быть сохранены и увязаны с влияющими данными для обеспечения возможности
отслеживания отказов.
Сложные системы состоят из подсистем. Эффективность обнаружения сбоев, диагностики и компенсации
сбоев зависит от сложности взаимодействия между подсистемами, которые влияют на распространение сбоев.
Диагностику сбоев следует применять на уровне самых малых подсистем, поскольку подсистемы меньших
размеров допускают бопве детальную диагностику сбоев (обнаружение ошибочных состояний).
Интегрированные информационные системы (например, уровня предприятия) могут обычным способом
передавать состояния безопасности системы, включая информацию диагностического тестирования, другим уп
равляющим системам. При обнаружении некорректного поведения оно гложет быть выделено и использовано
для запуска корректирующих действийдо возникновения опасной ситуации. В конце концов, при появлении инци
дента документирование таких отклонений может способствовать последующему анализу.
Более подробное описание данного мвтодэ/средства приведено в (153].
В.3.2 Обнаружение и исправление ошибок
П р и м е ч а н и е — На этот метод/средство дана ссылка в ГОСТ Р 53195.4 (таблица А.2).
Цель: обнаружение и исправление ошибок в чувствительной к ним информации.
Описание: для информации, состоящей из п битов, генерируется закодированный блок из к битов, который
позволяет обнаруживать и исправлять гошибок. Примерами служат код Хэмминга и полиномиальные коды.
Следует заметить, что в системах, связанных с безопасностью, лучше уничтожить ошибочные данные,
чем пытаться исправлять их, поскольку лишь заранее определенная часть ошибок может быть правильно ис
правлена.
Более подробное описание данного метода/средства приведено в [154].
В.3.3Программирование с проверкой ошибок
Примечание — На этот метод/средстводана ссыпка в ГОСТ Р 53195.3 (таблицаА.18) и вГОСТ Р53195.4
(таблицаА.2).
Цель: обнаружение ошибок, оставшихся при проектировании ПО в процессе выполнения программ для
предотвращения критичных для безопасности отказов систем и продолжения выполнения программы с высокой
надежностью.
Описание: в методе программирования утверждений заложена идея проверки предусловий (до выполне
ния последовательности операторов начальные условия проверяются на соответствие) и постусловий (проверя
ются результаты после выполнения последовательности операторов). Если предусловия или постусловия не
соблюдаются, то выдается сообщение об ошибке.
Пример
assert < pre-condition>:
action 1;
action x;
assert < post-condition>.
Более подробное описание данного метода/средства приведено в [155 — 157).
В.3.4 Методы «подушки безопасности*
П р и м е ч а н и е — На этот метод/средство дана ссылка в ГОСТ Р 53195.4 (таблица А.2).
Цель: защита от необнаруженных на этапах спецификации и реализации ошибок в ПО. неблагоприятно
влияющих на безопасность.
Описание: «подушка безопасности» представляет собой внешний монитор, реализованный на независи
мом компьютере в другой спецификации. Эта «подушка безопасности» касается исключительно гарантии того,
чтобы главный компьютер выполнял безопасные, не обязательно корректирующие, действия. Она
непрерывно контролирует главный компьютер. «Подушка безопасности» предотвращает вхождение системы в
небезопасное состояние. Кроме того, если обнаружится, что главный компьютер вошел в потенциально
опасное состояние, система должна возвратиться обратно в безопасное состояние с помощью либо «подушки
безопасности», либо главного компьютера.
АС иПО «подушки безопасности» следует классифицировать и квалифицировать в соответствии с подходя
щим уровнем полноты безопасности SIL.
Более подробное описание данного метода/средства приведено в [158—160).
50