ГОСТ Р МЭК 61508-7—2007
Цель: повышение вероятности выполнения программой, в конечном счете, своих заданных функций.
Описание: некоторые различные разделы программы, которые часто пишутся независимо, предназначены
для выполнения одной требуемой функции. Из таких разделов конструируется окончательная программа. Снача ла
выполняется первый раздел, называемый первичным. Далее происходит тестирование его результатов. Если
проверка проходит успешно, результат принимается и передается следующим разделам программы. Если про
верка дает отрицательный результат, то все побочные эффекты первого сбрасываются и выполняется второй
раздел, называемый первой альтернативой. Далее следует тестирование второго раздела, которое выполняется
аналогично первому. При необходимости могут быть предусмотрены вторая, третья и т. д. альтернативы.
Литература:
System Structure for Software Fault Tolerance. B. Randall. IEEE Trans Software Engineenng. Vol. SE-1. No. 2.
1975.
Fault Tolerance — Principles and Practice. T. Anderson. P. A. Lee. Prentice-Hall, 1981.
C.3.7 Восстановление предыдущего состояния
П р и м е ч а н и е — Ссылка на данный метод’средство приведена в МЭК 61508-3 (таблица А.2).
Цель: обеспечение исправления функциональных операций при наличии одной или нескольких ошибок.
Описание: при обнаружении ошибки система возвращается в первоначальное внутреннее состояние, пра
вильность которого была подтверждена ранее. Данный метод предполагает частое сохранение внутреннего со
стояния в так называемых четко определенных контрольных точках. Сохранение может быть выполнено глобаль но
(для всей базы данных) или частично (для изменений только между контрольными точками). После этого
система должна устранить изменения, произошедшие за это время путем занесения в журнал (аудиторское
отслеживание действий) компенсации (все результаты этих изменений аннулируются) или внешнего (ручного)
способа.
Литература:
Software Fault Tolerance (Trends in Software. No. 3). M. R. Lyu (ed.), John Wiley & Sons, April 1995. ISBN
0471950688.
C.3.8 Прямое восстановление
П р и м е ч а н и е — Ссылка на данный метод’средство приведена в МЭК 61508-3 (таблица А.2).
Цель: обеспечение исправления функциональных операций при наличии одного или нескольких сбоев.
Описание: при обнаружении сбоя текущее состояние системы анализируется для достижения состояния,
которое через некоторое время будет признано правильным. Данный метод особенно подходит для систем
реального времени с небольшой базой данных и высокой скоростью изменения внутреннего состояния. Предпо
лагается. что. по меньшей мере, часть состояний системы может влиять на окружение, иокружение влияет только
на часть состояний системы.
Литература:
Software Fault Tolerance (Trends in Software. No. 3), M. R. Lyu (ed.), John Wiley & Sons, April 1995. ISBN
0471950688.
C.3.9 Механизмы повторных попыток парирования сбоя
П р и м е ч а н и е — Ссылка на данный метод’средство приведена в МЭК 61508-3 (таблица А.2).
Цель: парирование обнаруженного сбоя с помощью механизмов повторных попыток.
Описание: в случае обнаружения сбоя или ошибочного условия предпринимаются попытки парирования
сбоя или восстановления ситуации путем повторного выполнения того же кода. Восстановление с помощью по
вторной попытки может быть полным в виде перезагрузки и повторного пуска процедуры, либо небольшим в виде
перепланирования и повторного пуска задачи после выполнения блокировки по времени программы или управ
ляющего действия задачи. Методы повторной попытки широко используются при коммуникационных сбоях или
при восстановлении от ошибок, и условия повторной попытки могут быть отделены флажками от ошибки протоко
ла связи (контрольная сумма и т. д ) или от подтверждающего ответа блокировки по времени коммуникации.
Литература:
Reliable Computer Systems: Design and Evaluation. D. P. Siewiorek and R. S. Schwartz. A. K. Peters Ltd.. 1998,
ISBN 156881092X.
C.3.10 Сохранение достигнутых состояний
П р и м е ч а н и е — Ссылка на данный метод’средство приведена в МЭК 61508-3 (таблица А.2).
Цель: безопасное прекращение работы программы в случае, если она попытается выполнить неразрешен
ное действие.
Описание: все соответствующие подробные сведения о каждом выполнении программы документируются.
При нормальной работе каждая выполненная операция программы сравнивается с ранее задокументированны
ми сведениями. При обнаружении различий выполняются действия по безопасности.
45