УДК 62-501.72:681.326.7
МЕТОД РАСПРЕДЕЛЕННОЙ
ИДЕНТИФИКАЦИИ НЕИСПРАВНОСТЕЙ В МНОГОКОМПЛЕКСНОЙ
ВЫЧИСЛИТЕЛЬНОЙ СИСТЕМЕ
И.В. Ашарина
НИИ «Субмикрон»
Россия, 124460, Москва, Зеленоград, проезд 4806, 4, стр. 2 E-mail: asharinairina@mail.ru
Ключевые слова: отказоустойчивость, многомашинные вычислительные системы, реп- ликация, орграф.
Рассматривается проблема идентификации неисправностей в сети ЦВМ произвольной, но известной структуры, решающей заданное множество взаимодействующих задач с заданными характеристиками по сбое- и отказоустойчивости как для каждой задачи, так и среды взаимообмена между каждой парой задач. Ключевой проблемой построения та- ких вычислений на основе динамической избыточности и самоуправляемой деградации является организация системного взаимного информационного согласования, обеспечи- вающего согласованность необходимой диагностической информации во всех задейст- вованных исправных ЦВМ системы при возникновении в ней любых допустимых сово- купностей враждебных неисправностей. Представлены этапы такой организации и мето- ды реализации этих этапов.
A METHOD OF DISTRIBUTED IDENTIFICATION OF FAULTS IN A MULTI-COMPLEX COMPUTER SYSTEM
I.V. Asharina SRI ''Submicron''
Russia, 124460, Moscow, Zelenograd, passage 4806, 4, building 2 E-mail: asharinairina@mail.ru
Key words: fault tolerance, multiple computer systems, replication, directed graph.
Problem of identification of faults in a computer network of an arbitrary, but know structure, solving a set number of interacting tasks with given characteristics on bug and fault tolerance both for each task and for the environment of exchange between each pair of the tasks is con- sidered. A key problem of building such computations based on the dynamic redundancy and self-controlled degradation is the organization of the system information coordination provid- ing the coordination of required diagnostic information in all involved correct computers of the system under appearance of any admissible totalities of antagonistic faults in the system. Stag- es of such an organization and methods of implementation of theses stages are presented.
1. Введение
Рассматриваются необслуживаемые [1] многомашинные вычислительные системы (МВС), имеющие следующие особенности [2]:
• автономность ЦВМ, отсутствие общей памяти, межмашинное взаимодействие по двухточечным и шинным каналам связи;
• многоуровневость, распределенность системы, отсутствие централизованного управляющего органа;
• высокая параллельность вычислений: одновременное решение на различных ЦВМ разных задач, обменивающихся информацией;
• работа в режиме реального времени;
• замкнутость, большой срок активного существования;
• высокие требования по надежности работы и достоверности результатов.
Решается задача в следующей постановке. В произвольной сети ЦВМ необходимо выделить МВС, которая будет выполнять параллельно несколько заданных взаимодей- ствующих задач, для каждой из которых определена своя степень отказоустойчивости.
Каждая задача должна решаться методом репликации на выделенном комплексе – подсистеме, удовлетворяющей определенным структурным требованиям. Под репли- кацией задачи понимается решение копий одной и той же задачи на всех ЦВМ, состав- ляющих комплекс, с обменом копиями результатов и выбором правильного, в предпо- ложении, что только малая часть из этих ЦВМ может быть неисправной.
Необходимо обеспечить структурно-алгоритмические условия для распределенно- го, непрерывного и сквозного диагностирования в процессе работы МВС, что и являет- ся целью данной работы.
2. Структурные требования к МВС
Рассматриваются одноранговые (пиринговые), гетерогенные, сильно связанные вы- числительные сети и системы с неоднородными вычислителями и разнотипными кана- лами межмашинных связей (дуплексные, симплексные и широковещательные каналы связи). Моделями сети и МВС являются ориентированные графы (орграфы), вершины которых обозначают ЦВМ, концентраторы, маршрутизаторы и др., а ребра (дуги) – ка- налы передачи информации.
Для достижения поставленной цели необходимо выполнение определенных струк- турных требований [3]: 1) наличие в орподграфе каждого комплекса орподграфа, пол- ного (рис. 1) или гомеоморфного полному (рис. 2) орграфу [4] с количеством вершин более 3, 2) наличие непересекающихся исходящих путей от каждой неосновной вер- шины комплекса к не менее чем 2+1 конечных основных вершин, 3) наличие входя- щих путей в каждую неосновную вершину комплекса от не менее чем 2+1 основных вершин, где µ – допустимое количество неисправных ЦВМ в комплексе, 4) наличие сред межкомплексного взаимодействия, обеспечивающих межкомплексное согласова- ние данных и удовлетворяющих заданным требованиям по сбое- и отказоустойчивости.
Полным орграфом называется орграф, имеющий пару разнонаправленных дуг меж- ду любыми двумя вершинами. Орграфы являются гомеоморфными, если существуют их изоморфные подразбиения, образующиеся в результате подразбиения дуг [4]. Вер- шины орподграфа, гомеоморфного полному орграфу, взаимно однозначно соответст- вующие вершинам полного орграфа, называются основными, остальные вершины на- зываются неосновными [3].
Тестовое и/или функциональное диагностирование системы должны определять всевозможные совокупности подозреваемых неисправностей и их последовательно- стей, при каждой из которых возможно имеющее место, поведение системы. Определе-
ние множества таких допустимых совокупностей неисправностей и их допустимых по- следовательностей является целью функционального и тестового самодиагностирова- ния системы [2].
Для идентификации неисправностей все время работы системы разделяется на 4 этапа: 1) начального включения и самодиагностирования, 2) целевой работы, сопрово- ждаемой функциональным диагностированием, 3) периодического тестового диагно- стирования, 4) управляемой деградации (реконфигурации) системы и перехода в безо- пасный останов при исчерпании ресурсов [2].
Для распределенной идентификации состояния МВС необходимо выполнять про- цедуры системного взаимного информационного согласования (СВИС) результатов тестового и функционального диагностирования, таким образом, чтобы эти результаты были одинаковыми во всех исправных ЦВМ МВС и правильно отображали текущее техническое состояние МВС. На основании результатов этих процедур осуществляется распределенная идентификация проявившихся неисправностей по месту их возникно- вения и по типу (сбой, программный сбой, отказ). Результат процедуры СВИС пред- ставляется в виде вектора согласованных значений (ВСЗ), содержащего некоторую ди- агностическую информацию о каждой из ЦВМ МВС. Процедуры СВИС выполняются на каждом из четырех этапов идентификации неисправностей.
До начала этапа целевой работы выполняется начальное включение и самодиагно- стирование МВС. Результаты этих действий согласовываются в процессе СВИС, после чего всеми ЦВМ МВС принимается распределенное согласованное решение о возмож- ности или невозможности начала целевой работы МВС.
Этапы самодиагностирования состоят из последовательности пронумерованных начиная с единицы циклов самодиагностирования, каждый из которых включает по- следовательность действий по тестовому самодиагностированию системы и формиро- ванию информации о текущем техническом состоянии системы, отображающем теку- щее состояние каждого неделимого объекта (НО) из этой системы [2].
Этап целевой работы состоит из последовательности пронумерованных начиная с единицы циклов целевой работы, каждый из которых включает последовательность фаз получения входной информации, вычисления выходной информации и выдачи этой выходной информации. Все действия сбое- и отказоустойчивой системы должны со- провождаться сквозным и непрерывным функциональным самодиагностированием. С точки зрения идентификации неисправности вся последовательность действий МВС рассматривается как последовательность элементарных контролируемых действий (ЭКД), с точностью до которых может быть выполнена идентификация проявлений не- исправностей. Сквозное функциональное самодиагностирование предполагает учет в результатах функционального самодиагностирования текущего ЭКД результатов функ- ционального самодиагностирования предыдущих ЭКД. Непрерывность функциональ- ного самодиагностирования означает, что функциональному диагностированию под- вергается каждое действие в процессе цикла целевой работы [2].
Обмен данными в системе происходит посредством передачи сообщений между ЦВМ, передаваемых по каналам связи между ними. Передача сообщения между сосед- ними ЦВМ осуществляется в течение неделимого пронумерованного временного кван- та.
3. Обеспечение системного взаимного информационного
согласования
Процесс СВИС представляет собой сложно организованный взаимообмен между пронумерованными с 1 до n ЦВМ МВС индивидуальными согласуемыми значениями, содержащими результаты работы системы диагностирования отдельных НО [2]. На ос- нове результатов обмена в каждой p-й исправной ЦВМ системы вычисляется ВСЗ p
=(1, 2,..., n), где q (q=1,..., n) – согласованное значение, соответствующее индиви- дуальному согласуемому значению q q-й ЦВМ. Этот вектор даже в условиях наличия любых допустимых сочетаний враждебных неисправностей как в комплексах, так и в средах взаимообмена должен быть одинаковым во всех исправных ЦВМ, причем каж- дый элемент этого вектора, относящийся к исправной ЦВМ, должен совпадать с согла- суемым значением этой ЦВМ [5].
Организация требуемой системы в сети состоит из трех этапов. На первом этапе из известной структуры сети выделяется структура МВС, удовлетворяющая достаточным структурным требованиям: непересекающиеся комплексы и среды межкомплексного взаимодействия. В результате выделения комплексов и сред межкомплексных взаимо- действий каждой вершине приписываются свои орграфы посылок (один или несколь- ко). Эти орграфы являются основой для построения распределенного алгоритма СВИС.
В процессе выполнения первого этапа строятся логические выражения (в форме ДНФ), анализ которых позволяет выполнить остальные этапы. Производится ранжирование вершин, определяющее, в каком порядке вершины вычисляют ВСЗ системы.
На втором этапе каждая ЦВМ формирует алгоритм, который должен строить рас- пределенный алгоритм, реализованный в виде множества взаимодействующих между собой алгоритмов, индивидуальных для каждой ЦВМ, каждый из которых реализуется на своей ЦВМ в составе системы, обеспечивая в каждой ЦВМ вычисление вектора СВИС, одинакового во всех исправных ЦВМ системы. На основе анализа выражений, построенных при работе алгоритмов выделения комплексов и сред межкомплексных взаимодействий [3] определяется состав принимаемых и передаваемых сообщений, их состав и форматы.
Для всех передаваемых и принимаемых сообщений в каждой ЦВМ системы стро- ятся соответствующие входные и выходные контейнеры, соответствующие форматам входных и выходных сообщений, и определяются каналы, по которым эти сообщения должны быть переданы и приняты. Определяются номера квантов, в которых сформи- рованные выходные сообщения должны быть переданными из ЦВМ-передатчиков и приняты в ЦВМ-приемниках.
Третий этап состоит в синхронном запуске в каждой из ЦВМ построенного распре- деленного алгоритма СВИС, в общих чертах, состоящего из следующих шагов:
1) Внутрикомплексное информационное согласование (ВКИС) в каждом из ком- плексов, с вычислением в каждой ЦВМ комплекса одинакового ВСЗ этого комплекса (если система однокомплексная, процесс согласования на этом завершается);
2) межкомплексный обмен согласуемой информацией по средам межкомплексного взаимодействия;
3) вычисление ВСЗ системы (ВСЗС), содержащего диагностическую информацию о состоянии МВС, в каждой ее исправной ЦВМ (с возможным предварительным внутри- комплексным обменом при наличии вершин ненулевого ранга).
4. Ранжирование вершин
Ранжирование вершин применяется в комплексах-получателях при вычислении ВСЗС. Вычисление ВСЗС сразу во всех ЦВМ комплекса-получателя возможно только в редких случаях. Обычно вычисление ВСЗС должно происходить в ЦВМ комплекса-
получателя в определенной последовательности. Для определения порядка вычисления ВСЗС в вершинах комплекса введено понятие ранга вершин.
Пусть в сетевом орграфе G выделены два искомых непересекающихся комплекса k
(k=i, j) с Tk – орподграфом комплекса k. Кроме того, пусть в G определен орподграф
j
Ri области межкомплексного обмена Ti и Tj, непересекающийся с этими ком- плексами, свойства которого определены в [6]. Первый шаг достижения СВИС – ВКИС позволяет определить ВСЗ каждого комплекса.
Второй шаг достижения СВИС состоит в том, что каждый i-й комплекс, будучи комплексом-источником, посылает копии своего вектора согласованной информации (в нашем случае – диагностических данных) каждому другому j-му комплексу, являюще- муся комплексом-получателем.
Пусть комплексом-источником будет i с орподграфом Ti, комплексом- получателем – j с орподграфом Tj и их областью межкомплексного обмена будет ор- подграф
j
Ri . Выделим в множество
j
Wi каждую вершину, например, bi, из Ti, имеющую непустую дизъюнктивную нормальную форму исходящей смежности в ор- подграфе bi U Tj U Rij [3].
Утверждение 1. Для достижения СВИС необходимо для каждой пары i-го ком- плекса-источника и j-го комплекса-получателя наличие условия │Wij │≥2μi+1 [7].
Пусть после проведения некоторых диагностических действий в каждой ЦВМ ком- плекса-источника сформировалась некоторая индивидуальная диагностическая инфор- мация, являющаяся согласуемым значением данной ЦВМ.
После этапа ВКИС в каждой исправной вершине из Ti формируется ВСЗ Vi этого комплекса. Т.о., в каждой исправной ЦВМ комплекса формируется полная диагности- ческая информация о состоянии этого комплекса, . Для достижения СВИС копии этого ВСЗ должны быть посланы из некоторого подмножества вершин, принадлежащих множеству
j
Wi , по некоторому подмножеству путей в некоторое подмножество вершин из Tj.
Далее приведены достаточные условия вычисления в вершине qj комплекса Tj оп- ределенного значения Yi=Vi вектора ВИС комплекса Ti, где Vi – правильное значение этого вектора.
Вершиной 0-го ранга [7] называется такая вершина qj, в которой значение Yi=Vi
может быть вычислено только по результатам посылки копий Vi из вершин Wij в эту вершину qj без необходимости предварительного вычисления Yi=Vi хотя бы в одной вершине rjTj. Если в вершине sj для вычисления значения Yi=Vi используется копия такого согласованного значения, предварительно вычисленного в вершине rj ранга t, то вершине sj приписывается ранг не менее t+1.
Достаточные условия вычисления Yi=Vi в вершине qj 0-го ранга имеют следующий вид [7]. Возможны следующие четыре типа пути из pi в qj:
1) -путь содержит только одну дугу между начальной вершиной pi и конечной вершиной qj;
2) -путь, все внутренние вершины которого принадлежат
j
Ri ; 3) -путь, все внутренние вершины которого принадлежат Tj; 4) -путь, в котором часть внутренних вершин пути принадлежит
j
Ri , а другая часть – Tj.
Орподграфом -вида (-, -, -вида) назван орподграф, содержащий все -пути (-, -, -пути соответственно) и только их. Аналогично, орподграфом -вида (-,
-,..., -, -, -, -, -, -вида) будет орподграф, содержащий все пути - и -типа (- и -типа, - и -типа,..., - и -типа, - и - и -типа, - и - и - типа, - и - и -типа, - и - и -типа, - и - и - и -типа соответственно) пучка и только их.
Достаточные условия вычисления согласованного значения Yi=Vi, в вершине qj
ранга 0 [7]: У1) если в орподграфе -вида имеются 2i+1 путей, то однократной посыл- ки копий Vi по этим путям (по орподграфу посылки) достаточно для вычисления в вершине qj значения Yi=Vi при помощи функции мажорирования.
Аналогично, достаточными условиями являются: У2) наличие 2(i+ij)+1 путей в орподграфе -вида либо -вида; У3) наличие 2(i+j)+1 путей в орподграфе -вида либо -вида; У4) наличие 2(i+ij+j)+1 путей в орграфе любого другого из остав- шихся видов.
В дополнение к вышеприведенным типам путей, ведущим в вершину qj из верши- ны pi, в [7] определен -путь, т.е. простой путь, ведущий из некоторой вершины ujTj в вершину qj, внутренними вершинами которого являются только вершины из множества Tj. Посылка копии значения Yi, вычисленного в вершине uj, в вершину qj должна осуще- ствляться по -пути.
Орподграф, содержащий все -пути и только их, назван орподграфом -вида. Ана- логично, орподграфом -вида (-,..., -,..., -,…, -вида) является ор- подграф, содержащий все пути - и -типа (- и -типа,..., - и - и -типа,..., - и - и - и -типа,..., - и - и - и - и -типа соответственно) этого пучка и только их.
Достаточные условия вычисления согласованного значения Yi=Vi в вершине qj
ранга k>0 [7]: У5) если в орподграфе -вида имеются 2j+1 путей, то однократной по- сылки копий Yi по этим путям достаточно для вычисления Yi=Vi в вершине qj при по- мощи функции мажорирования; У6) наличие 2(i+j)+1 путей в орподграфе - либо
-, либо -вида; У7) наличие 2(i+ij+j)+1 путей в орподграфе любого другого из оставшихся видов, содержащем пути -типа.
Утверждение 2. Ранжирование всех вершин комплекса-приемника j возможно, если ранг уже приписан более чем 2j вершинам этого комплекса [7].
Утверждение 3. Ранжирование всех вершин комплекса-приемника j является достаточным условием для вычисления Yi=Vi в каждой вершине комплекса Tj.
В [7] представлен алгоритм, осуществляющий для заданного варианта Rij ран- жирование всех вершин комплекса-получателя j, если это возможно, а также предло- жен общий алгоритм последовательного выделения орподграфов требуемых комплек- сов (если это возможно) с промежуточным выделением (если это возможно) всех необ- ходимых орподграфов межкомплексных посылок между очередным выделенным ком- плексом и всеми предварительно выделенными комплексами.
В результате работы перечисленных алгоритмов в исходной сети ЦВМ будут вы- делены, если это возможно, все требуемые для создаваемой МВС комплексы и все не- обходимые среды межкомплексных посылок. Наличие этих комплексов и сред является только достаточным структурным условием существования требуемого алгоритма СВИС, который должен строится сосредоточенным или распределенным образом на основании найденной структуры системы. В [8] приводится метод такого построения алгоритма СВИС.
5. Метод построения алгоритма СВИС
Пусть квантом будет период времени для обмена сообщениями между соседними ЦВМ, который включает также возможные действия по обработке полученных сооб- щений и формированию передаваемых сообщений.
В первом кванте процесса СВИС формируется собственное согласуемое значе- ние i-й ЦВМ системы, обозначенное через 1i, где верхний индекс обозначает номер кванта. На этапе ВКИС согласуемое значение основной ЦВМ, кроме собственного со- гласуемого значения этой ЦВМ, также может содержать согласуемые значения некото- рых неосновных ЦВМ, поступивших в нее с целью их согласования, т.к. непосредст- венно в процессе взаимного информационного согласования [7] могут участвовать только основные ЦВМ.
Согласуемые значения являются элементами сообщения и передаются между ЦВМ в процессе СВИС в составе сообщений Suj k, , где u – номер кванта передачи, i – номер ЦВМ-передатчика, j – номер ЦВМ-приемника [9]. При подготовке процесса СВИС для каждого сообщения Sit,j каждого кванта в памяти каждой i-й ЦВМ- передатчика системы выделяется специально организованная область памяти ЦВМ – выходной контейнер Koutj,k,t, а в памяти j-й ЦВМ-приемника системы – входной кон- тейнер Kiin,j,t. Состав и последовательность согласуемых значений (элементов) в сооб- щении определяют его формат [8].
Основой для построения искомых алгоритмов СВИС для выделенной МВС явля- ются логические выражения, приведенные к виду ДНФ, построенные в процессе выде- ления комплексов и сред межкомплексного взаимодействия.
Из анализа ДНФ определяется состав и структура всех передаваемых сообщений, их привязка к квантам. Для каждого элемента каждого сообщения строится алгоритм и определяется момент (квант) его формирования.
Все описанные действия являются подготовительными по отношению к разработке метода построения распределенного алгоритма согласования диагностических данных МВС. Распределенный алгоритм реализуется в виде множества взаимодействующих между собой алгоритмов, индивидуальных для каждой ЦВМ, каждый из которых вы- полняется на своей ЦВМ в составе системы, обеспечивая в каждой ЦВМ вычисление вектора СВИС, одинакового во всех исправных ЦВМ системы.
Одной из функций распределенного алгоритма согласования является алгоритм связывания [8], предназначенный для определения элементов сообщений, которые должны заполнять контейнеры в каждый момент времени.
Количество принимаемых сообщений, их состав, форматы и кванты передачи оп- ределяются на основе анализа выражений ДНФ, построенных при работе алгоритмов, приведенных в [3, 6], которые разбивают МВС на требуемое число комплексов с задан- ными степенями отказоустойчивости, выделяют среды межкомплексных взаимодейст- вий, ранжируют вершины каждого комплекса в процессе СВИС. Для всех передавае- мых и принимаемых сообщений в каждой ЦВМ системы строятся соответствующие входные и выходные контейнеры, соответствующие форматам входных и выходных сообщений, и определяются каналы, по которым эти сообщения должны быть приняты и переданы [8].
В каждой ЦВМ определяется контейнер требуемого формата, имеющий отдельные элементы, каждый из которых соответствует определенной ЦВМ системы. Затем над элементами всех выходных сообщений выполняется процесс связывания, при котором для каждого элемента выходного контейнера определяются элементы входных контей- неров, участвующие в формировании информации данного элемента, и действия, осу-
ществляемые в рамках одного кванта (квантовые действия), которые при этом должны быть выполнены. Кроме того, определяются номера квантов, в которых сформирован- ные выходные сообщения должны быть переданы из ЦВМ-передатчиков и приняты в ЦВМ-приемниках. В определенных квантах в некоторых или всех ЦВМ системы опре- деляются действия по вычислению некоторых элементов вектора СВИС этой ЦВМ.
Процесс связывания завершается тогда, когда определены квантовые действия по фор- мированию всех элементов вектора СВИС в каждой ЦВМ системы [8].
Результаты процесса связывания являются основой построения индивидуального алгоритма СВИС для каждой ЦВМ МВС и формируются в виде набора индивидуаль- ных алгоритмов для каждой ЦВМ МВС, представленных на специальном объектно- ориентированном языке. Затем каждый такой алгоритм транслируется в исполняемый код на машинном языке соответствующей ЦВМ и переносится в эту ЦВМ в виде вызы- ваемой процедуры. Вектор СВИС, сформированный в каждой исправной ЦВМ МВС, является выходным параметром процедуры процесса СВИС в каждой ЦВМ.
По времени целевая работа системы организуется на основе создаваемой подсис- темы единого системного времени [9]. При необходимости выполнения идентифика- ции текущего технического состояния системы в каждой ЦВМ МВС выполняются соб- ственные действия по формированию ее индивидуальной диагностической информа- ции, затем, в один и тот же момент времени, вызывается процесс СВИС этих индиви- дуальных значений диагностической информации, и по этому вызову каждая ЦВМ МВС переходит к выполнению собственного индивидуального алгоритма СВИС.
Организация распределенного алгоритма СВИС в МВС, взаимодействие индиви-
дуальных алгоритмов отдельных ЦВМ, основанное на результатах выделения в сети комплексов и сред межкомплексного взаимодействия, гарантируют, что при наличии допустимых неисправностей во всех комплексах и средах межкомплексных обменов в один и тот же момент времени (квант) завершится процесс СВИС такой, что в каждой исправной ЦВМ будет сформирован одинаковый вектор СВИС, полностью идентифи- цирующий текущее техническое состояние МВС.
Сформированный ВСЗС является основой для последующих согласованных и син- хронных индивидуальных действий всех исправных ЦВМ МВС по идентификации ее текущего технического состояния и обеспечения требуемой сбое- и отказоустойчиво- сти системы.
6. Заключение
В работе решена задача разработки методов и алгоритмов для идентификации со- стояния МВС в процессе непрерывного и сквозного диагностирования при работе МВС.
Предполагается, что все алгоритмы этой задачи синхронизированы на основе единого системного времени и в требуемые моменты времени все ЦВМ системы одновременно переходят к выполнению распределенного, поквантово синхронизи- рованного оператора СВИС [8] с собственными согласуемыми значениеми, содер- жащими индивидуальные значения диагностической информации, в качестве вход- ного параметра и ВСЗС – в качестве выходного параметра. Такая организация вы- полнения целевого задания гарантирует даже в случае возникновения допустимых совокупностей враждебных неисправностей идентификацию состояния МВС в каж- дой исправной ЦВМ, и как следствие – принятие синхронных и согласованных ре- шений всеми ЦВМ системы, основанных на использовании во всех ЦВМ системы одних и тех же алгоритмов принятия решений на базе одних и тех же системных
данных. При этом решения и действия различных исправных ЦВМ системы могут быть разными, зависящими от индивидуальных номеров этих ЦВМ и предписанных им разных системных функций.
Направления дальнейших научных исследований:
1) оценка эффективности работы алгоритмов,
2) оптимизация характеристик алгоритмов, уменьшение уровня избыточности (вре- менной, аппаратной, информационной),
3) диагностирование состояния многокомплексных МВС с целью обеспечения их сбое- и отказоустойчивости.
Список литературы
1. Авиженис А. Отказоустойчивость – свойство, обеспечивающее постоянную работоспособность цифровых систем // ТИИЭР. 1978. Т. 66, № 10. С. 5-25.
2. Лобанов А.В. Модели замкнутых многомашинных вычислительных систем со сбое- и отказоустой- чивостью на основе репликации задач в условиях возникновения враждебных неисправностей // Ав- томатика и телемеханика. 2009. № 2. С. 171-188.
3. Ашарина И.В., Лобанов А.В. Выделение комплексов, обеспечивающих достаточные структурные условия системного взаимного информационного согласования в многокомплексных системах //
Автоматика и телемеханика. 2014. № 6. С. 115–131.
4. Нефедов В.Н., Осипова В.А. Курс дискретной математики / Уч. пос. М.: Изд-во МАИ, 1992.
5. Ашарина И.В., Лобанов А.В. Системное взаимное информационное согласование в сбое- и отказо- устойчивых сетецентрических системах // XII Всероссийское Совещание по проблемам управления ВСПУ '2014. Москва, ИПУ РАН, 16-19 июня 2014 г. Труды. М.: Институт проблем управления им.
В.А. Трапезникова РАН, 2014. С. 7387-7392.
6. Ашарина И.В., Лобанов А.В. Выделение структурной среды системного взаимного информационно- го согласования в многокомплексных системах // Автоматика и телемеханика. 2014. № 8. С. 146- 156.
7. Ашарина И.В., Лобанов А.В. Взаимное информационное согласование в неполносвязных гетеро- генных многомашинных вычислительных системах. // Автоматика и телемеханика. 2010. № 5. С.
133-146.
8. Ашарина И.В. Метод системного взаимного информационного согласования в многокомплексных вычислительных системах // XII Всероссийское Совещание по проблемам управления ВСПУ '2014.
Москва, ИПУ РАН, 16-19 июня 2014 г. Труды. М.: Институт проблем управления им. В.А. Трапез- никова РАН, 2014. С. 7219-7223.
9. Гришин В.Ю., Лобанов А.В., Сиренко В.Г. Взаимное информационное согласование в многома- шинных вычислительных системах с обнаружением и идентификацией кратных враждебных неис- правностей // Автоматика и телемеханика. 2003. № 4. С. 123-135.
