ГОСТ Р 53195.5—2010
Цель: функциональное восстановление системы из состояния обнаруженного сбоя с помощью методов
повторных попыток.
Описание: вслучаеобнаружения сбоя или ошибочного условия предпринимаются попытки восстановле
ния ситуации путем повторного выполнения того же кода. Восстановление с помощью повторной попытки может
быть полным в виде перезагрузки и повторного пуска процедуры, либо небольшим в виде
перепланирования и повторного пуска задачи после выполнения блокировки по времени программы или
управляющего действия задачи. Методы повторной попытки широко используются при коммуникационных
сбоях или при восстановле нии от ошибок, и условия повторной попытки могут быть отделены флажками
от ошибки протокола связи (контрольная сумма и т. д.) или от подтверждающего ответа блокировки по времени
коммуникации.
Более подробное описание данного метода^средства приведено в [165].
В.3.10 Сохранениедостигнутых состояний
П р и м е ч а н и е — На этот метод/средстводана ссыпка в ГОСТ Р 53195.4 (таблица А.2).
Цель: заставить программу безопасно прекратить работу, если она попытается выполнить неразрешенное
действие.
Описание: все соответствующие подробные сведения о каждом выполнении программы документируются.
При нормальной работе каждое выполнение программы сравнивается с ранее задокументированными сведе
ниями. При обнаружении различий выполняются действия по безопасности.
Документация о выполнении может содержать последовательность индивидуальных шагов вот решения
к решению*, или последовательность отдельных обращений к массивам, записям или томам, либо к тому и
другому.
Возможны различные методы хранения сведений о последовательностях шагов выполнения программы.
Могут быть использованы методы хэш-кодирования для отображения этих последовательностей в виде одного
большого числа или последовательности чисел. При нормальной работе перед выполнением выходной
опера ции значения чисел, отображающих последовательности шагов выполнения программы, должны быть
сопостав лены со значениями, сохраненными в памяти.
Поскольку возможные комбинации таких последовательностей шагов при выполнении одной программы
получаются достаточно большими, гложет оказаться невозможным рассматривать программы как единое целое. В
этом случае метод гложет быть применен на уровне программных модулей.
В.3.11 Постепенное отключение функций
П р и м е ч а н и е — На этот метод’средство дана ссылка в ГОСТ Р 53195.4 (таблица А.2).
Цель: обеспечение возможности выполнения наиболее критичных системных функций, несмотря на отка
зы. путем игнорирования наименее критичных функций.
Описание: этот метод предоставляет приоритеты различным функциям, выполняемым системой. Проект
гарантирует, что в случав недостаточности ресурсов для выполнения всех системных функций функции высшего
приоритета будут выполнены в предпочтение функциям более низкого приоритета. Например, функции регистра
ции ошибки и события могут оказаться более низкого приоритета, чем системные функции управления, и в этом
случае управление системой будет продолжаться, даже если аппаратные средства из-за регистрации ошибки
окажутся неработоспособными. Более того, если аппаратные средства управления системой окажутся неисправ
ными. а аппаратные средства режеграции ошибок останутся работоспособными, то аппаратные средства регис
трации ошибок возьмут на себя функцию управления.
Эти соображения относятся в основном к аппаратным средствам, но они применимы также и ко всей
СБЗС-системе. Они должны учитываться начиная с самых ранних этапов проектирования.
Более подробное описание данного метода’средства приведено в [166—168].
В.3.12 Исправление ошибок методами искусственного интеллекта
П р и м е ч а н и е — На эти метады/средства дана ссылка в ГОСТ Р 53195.4 (таблица А.2).
Цель: обеспечение способности системы гибко реагировать на возможные опасности с использованием
сочетания методов данных, модели процессов и анализа надежности СБЗС-системы.
Описание: прогнозирование ошибок (вычисление трендов), исправление ошибок, техническое обслужива
ние и контролирующие действия могут быть с большой эффективностью поддержаны системами, основанными
на искусственном интеллекте, в различных каналах СБЗС-системы. поскольку правила ее поведения могут быть
получены непосредственно из спецификации и проверены на соответствие им.
Для различных каналов связи системы прогнозирование ошибок (вычисление тенденций), исправление
ошибок, обслуживание и контролирующие действия могут достаточно эффективным способом поддерживаться
системами, основанными на методах искусственного интеллекта (AI). Это связано с тем. что правила для таких
систем могут быть образованы непосредственно изспецификаций и проверены на соответствие. На основе этого
подхода могут быть эффективно исключены некоторые общие ошибки, уже внесенные в спецификацию, путем
косвенного изучения некоего уже имеющегося проекта и получения представления о возможных правилах пове
дения системы, особенно в случае применения комбинации моделей и методов в функциональной и описатель
ной формах.
52