1. Введение

Актуальной задачей для сложных систем с распределенной структурой является автоматизация процессов поддержания работоспособности системы. Под

[1][2][3]

Под объектом Obj

В системах с распределенной структурой инструменты управления и мониторинга играют ключевую роль, обеспечивая контроль за состоянием и производительностью объектов, а также управление конфигурацией и обработку ошибок, выполняемую, как правило, командой разработчиков. Под

[4][5][6]

Наряду с инструментальными решениями, в научной литературе активно развиваются теоретические подходы к управлению ошибками в распределенных системах. Существует ряд классификаций и обзоров, охватывающих методы отказоустойчивости, самоадаптации и активного управления отказами

[7][8][9][7][8][9]

В реальных сложных распределенных системах построение релевантной аналитической модели требует полной и прозрачной структуры системы, что в условиях сложных распределенных сред зачастую принципиально недостижимо. Более того, многообразие классов ошибок и уникальность конфигураций делают любую предопределенную модель принципиально неполной. Известно, что даже базовые вероятностные модели

[10][11]

Это формирует принципиальную предпосылку для подхода к управлению ошибками, основанного на косвенном адаптивном воздействии на основную систему, трактуемую как «черный ящик», что актуализирует решения, связанные с диагностикой объектов в условиях неопределенности.

В статье представлены результаты исследования, направленного на разработку информационной среды для моделирования многоагентной системы (МАС) адаптивного управления ошибками для распределенных информационных систем. В рамках данного исследования разработан формальный аппарат для оценки состояния объектов по наблюдаемым параметрам в условиях неопределенности (на основе концепции «черного ящика»), обеспечивающий унифицированную обработку разнородных данных и формализацию пороговых значений для выявления инцидента и критической ошибки.

Для достижения цели были решены следующие задачи:

– классифицированы типы требований к значениям показателей;

– построены оценочные функции для количественной оценки отклонений; разработаны лингвистические шкалы для интерпретации состояний;

– формализованы пороги инцидента и критической ошибки;

– предложена архитектура модели МАС, использующей эти формализации для адаптивного управления ошибками.

2. Диагностика состояния системы

Процесс функционирования системы сводится к процессам функционирования объектов в их взаимосвязи, при этом каждому объекту Obj присуще некоторое состояние Situ(Obj). Совокупность состояний объектов предопределяет состояние всей системы Situ(S). В процессе функционирования объекта (системы) можно выделить нормальное состояние, которое соответствует эталонной работоспособности, и состояния, вызванные различными нарушениями в работе или внешними факторами, которые обусловливают отклонения от нормального состояния. Введем универсальную лингвистическую переменную Situ = "Состояние" для формального описания состояний системы и составляющих ее объектов. Переменная принимает значение в шкале

С учетом введенных кратких обозначений определим универсальную лингвистическую шкалу в виде [LATEX_FORMULA]{Scale}_{Situ}=\left\{N,SlD,StD,SiD\right\}.[/LATEX_FORMULA] Например, [LATEX_FORMULA]Situ\left({Ob}_j\right)=Sid[/LATEX_FORMULA] означает, что состояние объекта Obj определяется как «существенное отклонение от нормы». Без ограничения общности будем считать, что для [LATEX_FORMULA]{Scale}_{Situ}[/LATEX_FORMULA] каждый терм задается нечетким числом [12] с прямоугольной функций принадлежности [LATEX_FORMULA]\mu_{S_i}\left(x\right)[/LATEX_FORMULA]

В предположении, что каждый показатель является количественным, при идентификации ошибки, инициированной показателем, необходимо учитывать требование к его значению. Эти требования можно классифицировать следующим образом:

-

требование первого типа — значение показателя не должно превосходить заданного значения [LATEX_FORMULA]\varepsilon[/LATEX_FORMULA];

-

требование второго типа — значение показателя должно превосходить заданное значение [LATEX_FORMULA]\varepsilon[/LATEX_FORMULA];

-

требование третьего типа — значение показателя не должно выходить за границы заданного диапазона [LATEX_FORMULA]\left[\varepsilon^{\prime}, \varepsilon^{\prime \prime}\right][/LATEX_FORMULA].

Зафиксируем объект [LATEX_FORMULA]Ob[/LATEX_FORMULA] и рассмотрим для него значение некоторого показателя [LATEX_FORMULA]x[/LATEX_FORMULA], предполагая, что [LATEX_FORMULA]x, \varepsilon, \varepsilon^{\prime}, \varepsilon^{\prime \prime} \in[0,1][/LATEX_FORMULA] (данное требование можно обеспечить за счет использования функций нормирования [13]). Поскольку требования к значениям показателя уникальны, то для оценки степени ненарушения требования введем следующие величины:

-

для требования первого типа (норма [LATEX_FORMULA]x \leq \varepsilon[/LATEX_FORMULA]);

-

для требования второго типа (норма [LATEX_FORMULA] x \geq \varepsilon[/LATEX_FORMULA]);

-

для требования третьего типа (норма [LATEX_FORMULA]\varepsilon^{\prime} \leq x \leq \varepsilon^{\prime \prime}[/LATEX_FORMULA]).

Таким образом, для каждого показателя с помощью величины [LATEX_FORMULA]d\epsilon[0,1][/LATEX_FORMULA] можно оценить, нарушено ли требование к его значению: при [LATEX_FORMULA]d=1 [/LATEX_FORMULA] не нарушено; если [LATEX_FORMULA]d<1[/LATEX_FORMULA], то требование нарушено, причем значение величины d показывает, как велико это нарушение. Оценки, задаваемые формулами (1) – (3), будем называть d-оценками.

На [LATEX_FORMULA]\left[0,1\right] [/LATEX_FORMULA] введем частную лингвистическую шкалу, которая учитывает требование к значению показателя, используя термы[LATEX_FORMULA]\left\{N,SlD,StD,SiD\right\}[/LATEX_FORMULA]

1) для показателя с требованием первого типа носитель терма [LATEX_FORMULA]N[/LATEX_FORMULA] есть промежуток [LATEX_FORMULA]\left[\left.0,\varepsilon\right)\right.[/LATEX_FORMULA], а на промежутке [LATEX_FORMULA]\left(\left.\varepsilon,1\right]\right.[/LATEX_FORMULA] определены три терма [LATEX_FORMULA]SlD,StD,SiD [/LATEX_FORMULA] с симметричными треугольными функциями принадлежности [LATEX_FORMULA]\left(a,l,r\right)[/LATEX_FORMULA], которые пересекаются в точках с ординатой 0,5;

2) для показателей с требованием второго типа носитель терма [LATEX_FORMULA]N[/LATEX_FORMULA] есть промежуток [LATEX_FORMULA]\left(\left.\varepsilon,1\right]\right.[/LATEX_FORMULA], а на промежутке [LATEX_FORMULA]\left[\left.0,\varepsilon\right)\right.[/LATEX_FORMULA] определены три терма [LATEX_FORMULA]SlD,StD,SiD [/LATEX_FORMULA] с симметричными треугольными функциями принадлежности, которые пересекаются в точках с ординатой 0,5;

3) для показателей с требованием третьего типа носитель терма [LATEX_FORMULA]N[/LATEX_FORMULA] есть промежуток [LATEX_FORMULA]\left[\varepsilon^\prime,\varepsilon^{\prime\prime}\right][/LATEX_FORMULA], а на промежутках [LATEX_FORMULA]\left[\left.0,\varepsilon^\prime\right)\right.[/LATEX_FORMULA]и [LATEX_FORMULA]\left[\left.\varepsilon^{\prime\prime},1\right)\right.[/LATEX_FORMULA] определены по три терма [LATEX_FORMULA]SlD,StD,SiD [/LATEX_FORMULA] с симметричными треугольными функциями принадлежности, которые пересекаются в точках с ординатой 0,5.

Определим, например, шкалу [LATEX_FORMULA]\left\{N,SlD,StD,SiD\right\}[/LATEX_FORMULA]для показателя первого типа. В этом случае терм [LATEX_FORMULA]N[/LATEX_FORMULA] представляется трапециевидным числом [LATEX_FORMULA]N=\left([0, \varepsilon], 0, \frac{1-\varepsilon}{3}\right)[/LATEX_FORMULA], термы [LATEX_FORMULA]SlD,StD,SiD [/LATEX_FORMULA] задаются треугольными нечеткими числами:[LATEX_FORMULA]\operatorname{SlD}=\left(\frac{2 \varepsilon+1}{3}, \frac{1-\varepsilon}{3}, \frac{1-\varepsilon}{3}\right)[/LATEX_FORMULA], [LATEX_FORMULA]S t D=\left(\frac{\varepsilon+2}{3}, \frac{1-\varepsilon}{3}, \frac{1-\varepsilon}{3}\right)[/LATEX_FORMULA], [LATEX_FORMULA]\operatorname{SiD}=\left(1, \frac{1-\varepsilon}{3}, 0\right)[/LATEX_FORMULA].

За счет совмещения шкал количественная оценка степени нарушения требований получает качественную интерпретацию, принимая значение некоторого терма, которому соответствует максимум функции принадлежности.

Пусть, например, к показателю предъявляется требование первого типа и [LATEX_FORMULA]\varepsilon=0,4[/LATEX_FORMULA], тогда [LATEX_FORMULA]a_{Sld}=0,6,a_{Std}=0,8,a_{Sid}=1[/LATEX_FORMULA]. Если [LATEX_FORMULA]x=0,75[/LATEX_FORMULA], то максимум функции принадлежности достигается для терма [LATEX_FORMULA]Std[/LATEX_FORMULA], а это означает, что отклонение по данному показателю от нормы сильное.

Таким образом, для каждого показателя можно определить степень нарушения требования как в количественной, так и в лингвистической форме.

Заметим, что у каждого показателя имеется своя частная лингвистическая шкала. Переход к универсальной лингвистической шкале осуществляется за счет процедуры унификации

[14]

Пусть [LATEX_FORMULA]S=\left\{S_{r}\right\}_{r=\overline{0, L}}[/LATEX_FORMULA] и [LATEX_FORMULA]S_{U}=\left\{S_{k}^{U}\right\}_{k=\overline{0, N}}[/LATEX_FORMULA] – две лингвистические шкалы. Функция преобразования лингвистической шкалы S в лингвистическую шкалу SU определяется следующим образом [13]:

Таким образом, базовую лингвистическую шкалу можно рассматривать как универсальный инструмент, позволяющий представить разнородную информацию унифицированным способом без потери качества исходной информации.

—

Предположим, что функционирование любого объекта Obj описывается набором показателей (параметров) [LATEX_FORMULA]{Ob}_j=\left(P_1^j,\ldots,P_{m_j}^j\right)[/LATEX_FORMULA]

Под

Пусть [LATEX_FORMULA]\left\{{Ob}_{j_1},\ldots,{Ob}_{j_N}\right\}[/LATEX_FORMULA] —

Под

Таким образом, с помощью полученной формализации состояний объекта можно конкретизировать понятия инцидента и критической ошибки.

Инцидент — это некритическая ошибка, соответствующая переходу статуса объекта в зону слабого отклонения. Его возникновение является сигналом для автоматического запуска механизма компенсации со стороны надстройки. Формально порог возникновения инцидента, hinc

Критическая ошибка возникает при переходе в зону существенного отклонения, порог hcr, что указывает на высокую вероятность скорого сбоя. Порог hcr

Значения функций принадлежности порога инцидента и критической ошибки позволяют определить интервал использования процесса адаптивного управления ошибками, на котором возможно разрешение инцидента:

Возможны ситуации, когда комбинация отклонений от нормального состояния приводит к нарушению работы объектов и системы в целом, что приводит к возникновению проблемы оценивания сложившейся ситуации в целом. Решением могут служить различные протоколы диагностики состояния объекта:

1. Выявление показателей, для которых нарушение требований является критичным и нарушает работу системы. Если в процессе мониторинга хотя бы для одного такого показателя возникнет существенное отклонение от нормы [LATEX_FORMULA]\left(Sid\right)[/LATEX_FORMULA]

2. Определение системы приоритетов на множестве показателей, когда каждому показателю приписывается вес, отражающий его значимость для объекта. Данный подход позволяет учитывать предыдущий случай, когда накопление отклонений для менее значимых показателей может привести к критической ошибке.

3.

Если все показатели равноценны, то для описания возникающих ситуаций необходимо сформулировать принцип учета отклонений: если требование нарушается (хотя бы по одному показателю, или по всем показателям, или по большинству показателей, или по крайней мере по m из n[15]

В первом случае необходимо диагностировать те показатели, которые являются критическими, и, если обнаружено отклонение от нормы, то применять компенсирующее воздействие. В остальных случаях для учета требований к значению показателей можно использовать процедуру агрегирования векторной оценки в скалярную величину

[16]

Таким образом диагностика работоспособности объектов и распределенной системы в целом будет осуществляться по наблюдаемым параметрам, полагая основную систему «черным ящиком», но при этом фиксируя отклонения статусов объектов от нормы при помощи предложенных моделей.

3. Разработка многоагентной системы для адаптивного управления ошибками

Адаптивное управление ошибками представляет собой динамический самонастраиваемый процесс поддержания работоспособности сложных распределенных систем, основанный на автоматическом выборе и применении к объекту компенсирующих воздействий из библиотеки алгоритмов компенсации. Выбор инициируется при обнаружении отклонения текущего статуса объекта от эталонного значения. Ключевым механизмом процесса назначения компенсирующих воздействий является алгоритм эволюционной оптимизации назначенных им рейтингов, отражающих относительную прогностическую оценку вероятности успешного разрешения ошибки.

Адаптивное управление ошибками позволяет автоматизировать процесс разрешения инцидентов, возникающих в процессе работы сложных распределенных систем, используя модели и методы обработки приближенной информации, базирующиеся на принципах диагностики объектов, изложенных выше. Это обеспечивает универсальный подход к обработке разнородных данных о состоянии системы

[14][15]

В контексте решаемой задачи объект может быть представлен кортежем:

где att — векторная оценка объекта, отражающая его признаки, качества и свойства или их отсутствие;

st — векторная оценка объекта, отражающая его признаки, качества и свойства или их отсутствие;

st1 — векторная оценка объекта, отражающая статус его компонентов в исходном состоянии;

st2 —

Компенсирующее воздействие (КВ) в данном контексте представляет собой последовательность команд, направленных на поддержание работоспособности объекта, представленных в формате, совместимом с программным обеспечением объекта (точкой входа). Оно назначается при выявлении отклонений, доступных для мониторинга параметров компонентов объекта st1i, от эталонных значений sti при заданном промежутке допустимых значений падения статусов; результативность применения оценивается по полученным значениям измененного статуса st2i.

Модель многоагентной системы (МАС)

[17]

Для формального описания архитектуры модели МАС введем ориентированный агентный граф [LATEX_FORMULA]AG=\left(V,E\right)[/LATEX_FORMULA], где:

V — множество вершин, соответствующих функциональным компонентам МАС;

[LATEX_FORMULA]E\ \subseteq V\ \times V [/LATEX_FORMULA]— множество направленных дуг, отражающих потоки сообщений и данных (рис. 1).

Вершины графа AG идентифицируются следующим образом:

[LATEX_FORMULA]v_1^1,v_1^2,\ldots,v_1^n[/LATEX_FORMULA] — агенты-представители [LATEX_FORMULA]\left(A_{D_{i}}\right)[/LATEX_FORMULA];

[LATEX_FORMULA]v_2[/LATEX_FORMULA] — агент компенсации [LATEX_FORMULA]\left(A_{Calc}\right)[/LATEX_FORMULA];

[LATEX_FORMULA]v_5[/LATEX_FORMULA] — агент шина [LATEX_FORMULA]\left(A_{MB}\right)[/LATEX_FORMULA];

[LATEX_FORMULA]v_6^1[/LATEX_FORMULA] — база данных;

[LATEX_FORMULA]v_6^2[/LATEX_FORMULA] — библиотека алгоритмов компенсации.

Взаимодействие с ОС и точками входа осуществляется через агентов-представителей и канал уведомлений. Внешние сущности (ОС и точки входа EPi) на рисунке обозначены серым цветом и не входят в V

- получение статусов показателей текущего состояния объекта;

- масштабирование;

- выявление инцидентов и их разрешение;

- мониторинг и уведомление об инцидентах и критических ошибках.

Выявление инцидента происходит в соответствии с принципами диагностики объектов, рассмотренными выше. Разрешение инцидентов и поддержание работоспособности ОС происходит за счет работы с компенсирующими воздействиями, обеспечивающейся алгоритмом адаптивного управления ошибками в распределенных информационных системах, представленном на рис. 2.

Рейтинг R, представляет собой относительную прогностическую оценку успешного разрешения инцидента при назначении компенсирующего воздействия. Первоначально рейтинг КВ задается произвольно или в соответствии с экспертной оценкой, которая является стартовой количественной величиной, оценивающей успешное применение КВ, и используется для уменьшения времени оптимизации библиотеки алгоритмов компенсации, которая формируется при подключении к ОС и настройке системы. При холодном старте начальные рейтинги КВ задаются с равным интервалом в единицу, что упрощает ранжирование на начальном этапе. Разность между двумя любыми ближайшими значениями R

Величина коррекции рейтинга зависит от значения изменений показателей текущего статуса объекта, что также повышает оценку эффективности назначения КВ.

Для оценки текущего статуса объекта вводится лингвистическая переменная [LATEX_FORMULA]{St}_{{Ob}_j}[/LATEX_FORMULA] = ,

на универсальном множестве [LATEX_FORMULA]U=\left[h_{cr},h_{inc}\right][/LATEX_FORMULA]

Функция принадлежности для каждого терма соответствует треугольному нечеткому числу (a, l, r) [15]

Каждому компенсирующему воздействию присуще не менее одного значения терма, по которым осуществляется выбор назначаемого КВ в соответствии со значением текущего статуса объекта и выбранной стратегией. Для конъюнктивной стратегии выбирается самое низкое из возможных значений терма, для дизъюнктивной — самое высокое, компромиссная стратегия подразумевает выбор промежуточного значения терма или его рандомное назначение. На рис. 3 представлен пример определения термов для текущего показателя статуса объекта.

Одинаковые кластеры присущи КВ, ориентированным на решение схожих проблем, обусловленных определенным набором атрибутов объекта. Такие правила являются наименее универсальными, но при этом они могут стать наиболее точным инструментом для разрешения инцидента в соответствии с атрибутами объекта.

При получении значения текущего статуса объекта, удовлетворяющего условию [LATEX_FORMULA]h_{cr}\le{st1}_i\le h_{inc}[/LATEX_FORMULA] начинается трехуровневый подбор компенсирующего воздействия для разрешения инцидента. С коррекцией рейтинга после каждой итерации. На первом уровне выбирается КВ с наивысшим текущим рейтингом. Если КВ на первом уровне привело к разрешению инцидента, работа алгоритма прекращается, иначе переходим на второй уровень, на котором происходит выбор КВ по терму и рейтингу, что позволяет решить проблему, исходя из критерия значения текущего статуса объекта по выбранной стратегии. Для второго этапа назначается несколько итераций, если первое выбранное правило не сработало. Если второй этап не привел к решению проблемы, начинается работа на третьем уровне, когда запрашиваются КВ по рейтингу и кластеру, то есть происходит отработка критерия выбора КВ по наиболее подходящим для объекта параметрам. Для работы на третьем уровне назначается количество итераций для отбора компенсирующего воздействия в каждом из кластеров, приоритетных для объекта с последующей корректировкой рейтинга. Работа хранилища данных продолжается до момента разрешения инцидента или до истечения времени, удовлетворяющего условию: [LATEX_FORMULA]t<t_{cr}[/LATEX_FORMULA], где [LATEX_FORMULA]t_{cr}[/LATEX_FORMULA] —

Авторами разработана программная реализация предложенного в статье алгоритма работы с компенсирующим воздействиями «Универсальный модуль назначения компенсационных воздействий для адаптивного управления ошибками в распределенных информационных системах», позволяющая эмулировать различные сценарии для проведения экспериментального исследования. В ходе эксперимента была исследована динамика адаптации модели. Для этого на эмуляторе было обработано 100 инцидентов по сценарию, предусматривающему изменение условий — введение новых объектов после обработки сорока инцидентов, визуализация результата эксперимента представлена на рис. 4.

Полученный график показывает, что в зоне стабильной адаптации доля верных выборов, равная отношению корректно разрешенных инцидентов к их общему количеству, не опускается ниже 85%, изменение условий приводит к кратковременному спаду доли верных выборов, минимальное значение Acc при спаде больше, чем при холодном старте.

4. Заключение

Адаптивная система управления ошибками позволяет решить задачу автоматизации поддержания работоспособности сложных систем, обладающих распределенной структурой. Использование представленных в статье подходов к оценке состояния объектов и всей системы в целом позволяет использовать как количественную информацию, так и качественную, выраженную лингвистическими термами для диагностики инцидента или критической ошибки. Хранилище данных системы обладает свойством самоорганизации и адаптивности. Работа хранилища данных имеет заданные временные ограничения, что повышает значимость вычислительной мощности и быстродействия системы. Решить эту проблему можно за счет использования многоагентных технологий [18], [19], [20], что обеспечит декомпозицию задач распределение мощностей и увеличение быстродействия системы за счет логистики взаимодействия агентов и возможности распределенного решения задач.

Получены следующие результаты исследования, обладающие научной новизной:

- формализованы [LATEX_FORMULA]d[/LATEX_FORMULA]

- построены частные и универсальная лингвистические шкалы, отличающиеся возможностью преобразования разнородных данных в единый формат и позволяющие интерпретировать состояния объекта как в количественной, так и в качественной форме;

- определены формальные пороги инцидента [LATEX_FORMULA]h_{\text {inc }}[/LATEX_FORMULA] и критической ошибки [LATEX_FORMULA]h_{c r}[/LATEX_FORMULA]

- предложены протоколы агрегирования отклонений, отличающиеся гибкостью выбора стратегии учета показателей и позволяющие учитывать как приоритеты, так и равнозначность показателей при диагностике объекта;

- разработана архитектура модели МАС, отличающаяся адаптивностью и универсальностью и позволяющая поддерживать работоспособность распределенных информационных систем без доступа к их внутренней логике.

Предложенный в статье формальный аппарат для оценки состояния объектов по наблюдаемым параметрам (в условиях неопределенности, на основе концепции «черного ящика») использован для построения архитектуры модели МАС, использующей эти формализации для адаптивного назначения компенсирующего воздействия для разрешения инцидентов.

The additional file for this article can be found as follows: