ГОСТ Р МЭК 61508-7—2012
должна устранить изменения, произошедшие за это время путем занесения в журнал (аудиторское отслеживание
действий), компенсации (все результаты этих изменений аннулируются) или внешнего (ручного) способа.
Литература:
Looking into Compensable Transactions. Jing Li. Huibiao Zhu. Geguang Pu. Jrfeng He. In Software Engineering
Workshop. 2007. SEW 2007. IEEE. 2007. ISBN 978-0-7695-2862-5.
Software Fault Tolerance (Trends in Software. No. 3). M R. Lyu (ed.), John Wiley & Sons. April 1995. ISBN
0471950688.
C.3.7 Механизмы повторных попыток парирования сбоя
П р и м е ч а н и е — Ссылка на данный метод/средство приведена в МЭК 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.8 Постепенное отключение функций
П р и м е ч а н и е — Ссылка на данный метод/средство приведена в МЭК 61508-3 (таблица А.2).
Цель. Обеспечение пригодности наиболее критичных системных функций, несмотря на отказы, путем игно
рирования наименее критичных функций.
Описание. Данный метод устанавливает приоритеты для различных функций, выполняемых системой. Про
ект создаваемой системы гарантирует, что в случае недостаточности ресурсов для выполнения всех системных
функций функции высшего приоритета будут выполнены в предпочтение функциям более низкого приоритета.
Например, функции регистрации ошибки и события могут оказаться задачей более низкого приоритета, чем си
стемные функции управления, и в этом случае управление системой будет продолжаться, даже если аппаратные
средства из-за ретистрации ошибки окажутся неработоспособными. Более того, если аппаратные средства управ
ления системой окажутся неработоспособными, а аппаратные средства регистрации ошибок останутся работоспо
собными. го аппаратные средства регистрации ошибок возьмут на себя функцию управления.
Данные соображения относятся в основном к аппаратным средствам, но они применимы также и к системе
в целом, включая программное обеспечение. Данные соображения должны учитываться, начиная с самых ранних
этапов проектирования.
Литература:
Towards the Integration of Fault. Resource, and Power Management. T. Siridakis. In Computer Safety. Reliabdity. and
Security: 23rd International Conference. SAFECOMP 2004. Eds. Maritta Heisel et al. Spnnger. 2004. ISBN 3540231765.
9783540231769.
Achieving Critical System Survivability Through Software Architectures. E.A. Strunk. Springer Berlin/Heidelberg,
2004. ISBN 978-3-540-23168-4.
The Evolution of Fault-Tolerant Computing. Vol. 1of Dependable Computing and Fault-Tolerant Systems. Edited by
A. Avizrenis. H. Kopetz and J. C Laprie. Springer Verlag, 1987. ISBN 3-211-81941-X.
Fault Tolerance. Principle and Practices. T. Anderson and P.A. Lee. Vol. 3 of Dependable Computing and Fault-
Tolerant Systems. Springer Verlag. 1987. ISBN 3-211-82077-9.
C.3.9 Исправление ошибок методами искусственного интеллекта
П р и м е ч а н и е — Ссылка на данный метод/средство приведена в МЭК 61508-3 (таблица А.2).
Цель. Способность гибко реагировать на возможные угрозы безопасности, используя сочетания методов
и моделей процессов, а также некоторые способы безопасности в режиме онлайн и анализа надежности.
Описание. Для различных каналов связи системы прогнозирование (вычисление тенденций), исправление
ошибок, обслуживание и контролирующие действия могут достаточно эффективно поддерживаться системами,
основанными на методах искусственного интеллекта (AI). Правила для таких систем могут быть созданы непосред
ственно из спецификаций и проверены на соответствие. С помощью методов искусственного интеллекта некото рые
ошибки общего характера, попадающие в спецификации, для устранения которых уже существуют некоторые
правила проектирования и реализации, могут быть исключены, особенно при представлении комбинаций моделей и
методов функциональным или описательным способом.
Методы выбираются так. чтобы ошибки могли быть устранены и влияние отказов минимизировано для обе
спечения требуемой полноты безопасности.
П р и м е ч а н и е — Предупреждение об исправлении ошибочных данных см.С.3.2 и об отрицательных ре
комендациях применения данного метода — МЭК 61508-3 (таблица А.2, пункт 5).
50