CC BY
14
нформационные технологии в управлении
УДК 004.942; 519.172.5
О ДИАГНОСТИРОВАНИИ ЦИФРОВЫХ СИСТЕМ СО СТРУКТУРОЙ МИНИМАЛЬНОГО КВАЗИПОЛНОГО ГРАФА РАЗМЕРА 7 х 7
В.А. Ведешенков, Е.А. Курако, В.Н. Лебедев
Рассмотрены задачи диагностирования цифровых систем с новой структурой — минимального квазиполного графа размера 7x7. Оценки диагностируемости анализируемых цифровых систем установлены на основе результатов диагностирования отказовых ситуаций в системе из 7 абонентов и 7 коммутаторов. Показано, что на выбранной системе тестов анализируемые цифровые системы являются не более чем 1-диагностируемыми для отказавших абонентов, 2-диагностируемыми — для отказавших коммутаторов и 1,1-диагностируемыми для кратного отказа абонента и коммутатора. Приведен пример диагностирования кратного отказа абонента и двух коммутаторов.
Ключевые слова: цифровая система, минимальный квазиполный граф размера 7x7, абонент, коммутатор, диагностирование, диагностируемость, проверяемая подсистема.
ВВЕДЕНИЕ
Минимальный квазиполный граф образуется на основе однородного двудольного графа, одну долю которого составляют коммутаторы т х т, а другую — т-портовые абоненты. В одной доле имеется N коммутаторов, а в другой — N абонентов. Для рассматриваемых топологий параметры N и т связаны соотношением N = т(т — 1) + 1 и не могут быть взяты произвольно. Значение т выбирается минимальным, при котором любые два узла в одной доле связаны а путями длины два через разные узлы в другой доле. Каждый такой путь проходит через один коммутатор, и разные пути проходят через разные коммутаторы [1].
В числе возможных областей применения графов с подобной новой структурой называют отказоустойчивые многомашинные вычислительные системы (МВС) реального времени, где, например, подмножество вершин одной доли представляет совокупность процессорных элементов или вычислительных машин, а подмножество вершин другой доли — коммутаторы.
Пример такого графа размера 7x7 приведен на рисунке для N = 7, т = 4, а = 2.
Задачи диагностирования цифровых систем (ЦС) со структурой минимального квазиполного
графа до сих пор не рассматривались. Для ЦС со структурой симметричного двудольного графа и со структурой типа тороидальной решетки такие задачи рассматривались в работах [2, 3], где для описания результатов проверки компонентов использована модель Барси — Грандони — Маестрини [4].
В статье [5] представлен путевой метод самодиагностирования технического состояния компо-
Схема цифровой системы со структурой минимального квазиполного графа S7 4 2: 1—7 — абоненты; 8—14 — коммутаторы; ДМ — диагностический монитор
68
ООМТЯОЬ вОЕМОЕБ № 6 • 2014
нентов (модулей и линий связи) цифровых систем с циркулянтной структурой, особенность которого заключается в использовании 0-путей (в терминологии работы [6]) для выбора проверяющих модулей и передачи результатов выполненных проверок. Для описания результатов проверки компонентов в работе [5] использована модель Препараты — Метца — Чжена (ПМЧ) [7].
В настоящей работе рассматриваются задачи диагностирования ЦС со структурой минимального квазиполного графа размера 7x7 при использовании модели ПМЧ.
1. ПОСТАНОВКА ЗАДАЧИ
Исходная МВС со структурой минимального квазиполного графа £п т ст размера 7x7 представлена диагностическим графом, у которого N вершин одной доли представляют абоненты (процессоры) системы, N вершин другой доли — коммутаторы, причем каждый абонент связан с каждым другим абонентом двумя путями, проходящими через два разных коммутатора.
Будем считать, что допускаются устойчивые отказы ограниченного числа вершин: абонентов и коммутаторов, причем их неисправности таковы, что прекращают работу компонентов, в которых они возникают, и не влияют на работоспособность смежных компонентов. Линии связи между компонентами считаются исправными.
Для описания результатов тестирования компонентов используется модель ПМЧ. Запуском процессов диагностирования в различных подсистемах ЦС и обработкой полученных результатов занимается исправный диагностический монитор (ДМ), который находится в модуле, внешнем по отношению к диагностируемой ЦС.
Требуется предложить подход к диагностированию компонентов ЦС со структурой минимального квазиполного графа размера 7x7, обеспечивающий ДМ достоверной информацией для дешифрации результатов диагностирования технического состояния компонентов (абонентов, коммутаторов) системы.
2. ОЦЕНКА СТЕПЕНИ ДИАГНОСТИРУЕМОЕ ЦИФРОВЫХ СИСТЕМ СО СТРУКТУРОЙ МИНИМАЛЬНОГО КВАЗИПОЛНОГО ГРАФА РАЗМЕРА 7 х 7
Известно
Определение. Система ^ из п модулей является однократно диагностируемой относительно ? отказов, если все отказавшие модули можно идентифицировать (по результатам дешифрации синдро-
ма К) без замещения при условии, что число отказавших модулей не превышает t. ♦
В дальнейшем будет полезно противоположное данному определению
Утверждение. Система ^ из п модулей не является однократно диагностируемой относительно t отказов, если диагноз хотя бы одной отказовой ситуации мощностью t содержит ошибки: в числе подозреваемых в отказе названы исправные модули. ♦
Максимальное число одновременно неисправных и произвольно расположенных компонентов, однозначно диагностируемых по результатам однократного тестирования системы, называется степенью t диагностируемости системы.
Аналитические оценки степени диагностируе-мости ЦС, построенных с использованием двух (и более) типов компонентов, неизвестны. Применительно к рассматриваемой ЦС для единообразия последующего текста будем называть абонентов компонентами первого типа, а коммутаторов — компонентами второго типа.
Для подобных ЦС целесообразно ввести несколько оценок степени диагностируемости: tv tс) — оценка диагностируемости компонентов первого типа (второго типа, совокупности компонентов первого и второго типов соответственно). Сравнение этих оценок с количествами компонентов первого (#х) и второго (#2) типов в совокупности компонентов, подозреваемых в отказе по результатам диагностирования, позволит оценить достоверность полученных результатов:
— если число компонентов, подозреваемых в отказе, не превышают соответствующих оценок, то полученный диагноз правильный, и достоверность результатов достаточно высока;
— если же хотя бы для одного из компонентов число подозреваемых в отказе превышает свою оценку, то возможно, что диагноз не достоверен, нужны дополнительные проверки для его уточнения.
На основании изложенного предлагается формула для оценки:
^ = < ^ ; ^ <
(1)
В пользу такой структуры оценки ^ говорит такое соображение: отказы компонентов первого типа ухудшают условия диагностирования компонентов второго типа, так как уменьшают число их потенциально возможных проверок.
Для получения оценок tl и ^ для ЦС со структурой минимального квазиполного графа размера 7x7 проведено диагностирование отказовых ситуаций различной кратности с помощью метода из работы [2], пригодного для анализа ЦС с рассматриваемой структурой.
Процесс диагностирования компонентов ЦС включает в себя:
— исполнение исправным модулем функций проверяющего модуля;
— нахождение пути от одного исправного модуля к другому исправному для передачи ему функций проверяющего модуля;
— дешифрацию результатов выполненных проверок.
Для реализации этих диагностических процедур в ЦС со структурой минимального квазиполного графа размера 7x7 поступим следующим образом.
Проверяющим модулем т. назначим абонент А, 7 = 1, ..., 7, а в проверяемую подсистему и, к включим компоненты: коммутатор р,и абонент Ак, причем к ^7. Таким образом, индекс (/, к) подсистемы и к состоит из номера I, I = 8, ..., 14, проверяемого коммутатора и номера к, к = 1, ..., 7, проверяемого абонента.
Тогда отдельная проверка (тест ^ к) будет выполняться следующим образом. Получив управление в процессе диагностирования, проверяющий абонент А. передает через коммутатор р. проверяемому абоненту Ак команду на выполнение теста самоконтроля подсистемы и, к. Результаты выполненного теста ti к абонент Ак передает через коммутатор р. проверяющему абоненту А., который сравнивает их с эталонами и формирует оценку
Ги к
_ (0, если результаты совпали с эталонами, 1 в противном случае.
На основании полученных оценок абонент А. выбирает исправную подсистему и,* из состава которой абоненту Ак* передает управление и необходимую информацию для продолжения процесса диагностирования.
В таблице Т5 (табл. 1) показана информация о составе проверяемых подсистем и. к и номерах проверяющих их абонентов А., выбранных для диагностирования компонентов системы 4 2 (см. рисунок). В табл. 1 семь строк 7У, в каждой из которых для проверяющего абонента А.., 7 = 5, 2, ..., 7, записаны номера компонентов, входящих в состав подсистем ип к1, иа к2 и иа к3, проверяемых абонентом А.; в ней также есть поля для записи оценок результатов проверки г11 к1, га к2 и га к3 этих подсистем абонентом А.. (Отметим, что в клетках строк Т5, ..., Т7 показаны только номера индексов
проверяющего абонента и проверяемых подсистем без указания их символов.).
Состав проверяемых подсистем, показанных в табл. 1, подобран таким образом, что при исправном состоянии компонентов системы после выполнения каждым из проверяющих абонентов проверок трех подсистем каждый из компонентов тестируемой системы (абонент, коммутатор) будет проверен трижды. Это в три раза больше, чем необходимо для контроля исправности системы, но, как будет показано далее, оказывается недостаточным при диагностировании некоторых кратных отказов.
В табл. 2 показаны результаты диагностирования отказовых ситуаций различной кратности рас-
Таблица 1
Таблица Г5 состава проверяемых подсистем
Строка Т. 1 Проверяющий абонент А. Проверяемые подсистемы и, к и оценки результатов их проверок г, к
и, к! г/1,к1 иа,к2 га,к2 и3,к3 гв,к3
т 5 9, 2 10, 6 14, 3
Т2 2 8, 1 13, 5 9, 1
т 1 10, 3 9, 7 8, 4
тз 3 12, 6 14, 4 10, 5
т 6 13, 4 11, 1 12, 7
Т4 4 11, 7 8, 3 13, 2
Т7 7 14, 5 12, 2 11, 6
Таблица 2
Таблица результатов диагностирования
№ п/п ?1 ?2 Неисправные компоненты Диагноз
1 1 0 6 6
2 2 0 1, 6 1, 6
3 2 0 2, 3 2, 3
4 2 0 1, 2 1, 2 + 9
5 2 0 3, 6 3, 6 + 10
6 2 0 2, 4 2, 4 + 8, 13
7 0 2 10, 12 10, 12
8 0 3 10, 12, 14 10, 12, 14
9 0 3 10, 11, 12 10, 11, 12 + 6
10 1 1 6, 8 6, 8
11 1 1 6, 14 6, 14
12 1 2 3, 11, 14 3, 11, 14
13 1 2 6, 10, 12 6, 10, 12
14 1 2 6, 8, 14 6, 8, 14 + 4, 11
15 1 3 3, 10, 12, 14 3, 10, 12, 14
16 1 3 3, 10, 11, 12 3, 10, 11, 12 + 6
70
СОЫТВОЬ БС!ЕМСЕ8 № 6 • 2014
сматриваемой системы. В столбцах и #2 этой таблицы приведены числа отказавших компонентов первого и второго типов в отказовой ситуации, номер которой показан в левом столбце. В столбце «Неисправные компоненты» приведены номера отказавших компонентов, в столбце «Диагноз» — номера компонентов, подозреваемых в отказе по результатам диагностирования этой отказовой ситуации. В клетках на пересечении столбца «Диагноз» и строк 4—9, 14 и 16 результат диагноза показан в виде суммы номеров компонентов правильного диагноза (слева от знака «+») и номеров исправных компонентов, ошибочно признанных отказавшими (справа от знака «+»). (В результатах системы диагностирования знака «+», конечно, нет, здесь он введен для пояснений.)
Сравнение номеров компонентов в столбцах «Неисправные компоненты» и «Диагноз» позволяет сделать следующие выводы.
• Совпадение состава клеток этих столбцов в строках 1—3, 7, 8, 10—13 и 15 говорит о правильности результатов диагностирования отка-зовых ситуаций, показанных в этих строках.
• В строках 2—6 диагностируются ситуации с одинаковым числом отказавших компонентов первого типа = 2), но результаты диагноза различаются: правильные (в строках 2 и 3), с одним исправным компонентом, ошибочно названным отказавшим (строки 4 и 5) и с двумя исправными компонентами, ошибочно названными отказавшими (строка 6). Причина таких различий лежит в составе проверок, приведенных в табл. 1. Для исключения коммутатора из числа подозреваемых при отказе двух абонентов, которые он соединяет, нужна конкретная проверка, зависящая от состава различаемых компонентов. Эти проверки для некоторых пар абонентов и коммутаторов показаны в табл. 3. Их вхождение в состав проверок табл. 1 отмечено в последнем столбце табл. 3. Отметка «да» в строках 1—4 табл. 3 обосновывает правильность диагноза для ситуаций 2 и 3 табл. 2. В свою очередь, отметка «нет» в строках 6, 7, 9 и 10 определяет номера исправных коммутаторов, ошибочно подозреваемых в неисправности при диагнозе ситуаций 4—6 табл. 2.
В работе [8] рассматривался способ оценивания диагностируемости ЦС со структурой симметричного двудольного графа. Показано, что в подобных структурах при отказе двух абонентов в число подозреваемых попадает также соединяющий их исправный коммутатор. Однако в отличие от ЦС со структурой минимального квазиполного графа в ЦС со структурой симметричного двудольного графа размера 7x7 нельзя найти проверки, ана-
Таблица 3
Таблица необходимых проверок
№ п/п Абоненты Коммутатор Проверка Входит ли в табл. 1?
1 1, 6 10 3 ° 10, 5 да
2 1, 6 11 4 ° 11, 7 да
3 2, 3 8 1 ° 8, 4 да
4 2, 3 12 6 ° 12, 7 да
5 1, 2 8 4 ° 8, 3 да
6 1, 2 9 5 ° 9, 7 нет
7 3, 6 10 5 ° 10, 1 нет
8 3, 6 12 7 ° 12, 2 да
9 2, 4 8 1 ° 8, 3 нет
10 2, 4 13 6 ° 13, 5 нет
логичные проверкам из табл. 3. Дело в том, что в последних ЦС используются трех-входовые коммутаторы, и потому нельзя построить проверку коммутатора без включения одного из отказавших компонентов. Результат такой проверки покажет отказ проверяемой подсистемы, в которую входит и исправный коммутатор.
Как видно из табл. 3, для исключения исправного коммутатора из числа подозреваемых при отказе двух абонентов, которые он соединяет, в диагностический тест должна входить проверка, которая включает два исправных абонента из тех четырех, которые присоединены к данному коммутатору. Отметим, что проверка, построенная для пары абонентов и выбранного коммутатора, отличается от проверок для других пар абонентов и коммутатора, включая выбранный. Из четырех абонентов, присоединенных к одному коммутатору, можно образовать шесть различных пар, каждая из которых требует проверки, отличной от других.
Таким образом, диагностический тест, различающий каждый из семи исправных коммутаторов от двух неисправных абонентов, которые он соединяет, для данной системы должен включать Р = 6x7 = 42 различные проверки. Возвращаясь к параметрам структуры, значение Р можно записать как Р = N т(т - 1)/2 = 7-4-3/2 = 42.
В табл. 1 таких проверок только 21, отсюда ошибки диагноза, показанные в табл. 2.
Что касается ошибочно подозреваемых компонентов, показанных в строках 9, 14 и 16, то о причинах их появления будет сказано в § 3. • Обобщив данные табл. 2, можно заключить, что для гарантированного получения правильного диагноза в ЦС со структурой минимального квазиполного графа размера 7x7 при выбранной системе тестов нужно обеспечить выполнение соотношений:
д1 < 1Х = 1; 42 < ?2 = 2; ?с = (д1 < 1; д2 < 1). (2)
Если при анализе результатов диагноза окажется, что полученные значения и #2 (или одна из них) не удовлетворяют этим соотношениям, то для уточнения диагноза можно выполнить следующие действия.
A. Заменить часть подозреваемых компонентов того типа, для которого получено большее значение или #2. Повторить сеанс диагностирования с тем же тестом из 21 проверки. Оценить полученные результаты:
— если они удовлетворяют требуемым соотношениям, то результаты достоверны: нужно заменить подозреваемые компоненты и повторить сеанс диагностирования для подтверждения исправности восстановленной системы;
— если результаты неудовлетворительны, то заменить еще часть подозреваемых компонентов и повторить сеанс диагностирования.
Б. Заменить все подозреваемые компоненты, повторить сеанс диагностирования. В этом случае время восстановления будет меньше, но возможен перерасход запасных частей для замены исправных компонентов.
B. Если у команды, эксплуатирующей систему, есть тест из 42 проверок, запустить его и уточнить диагноз. В этом случае будут исключены ошибки диагноза рассмотренного типа. Этот тест из 42 проверок можно запустить сразу, но время диагностирования будет больше. Подобный запуск теста из 42 проверок может быть целесообразным после длительного перерыва в работе системы и возможного накопления большого числа отказов.
3. ПРИМЕР
3.1. Основные положения путевого метода диагностирования [5]
Если модуль т^ проверяет модуль тк тестом ри, то результат проверки обозначается двоичной переменной г.к = {0, 1}. Если результат г.к = 0, то дуга 1—к, соединяющая эти модули в графе системы, называется 0-путем длины 1.
Суть путевого метода диагностирования заключается в том, что в процессе контроля и диагностирования исправные модули по 0-путям поочередно назначаются проверяющими модулями (МПщ) для смежных проверяемых подсистем, проверяют их, а результаты проверок вместе с ранее полученной информацией передают следующему исправному модулю.
Для получения достоверных результатов процесс диагностирования нужно разделить на две части: нахождение достоверно исправного началь-
ного модуля и диагностирование состояния остальных компонентов системы.
Как известно [7], в ЦС с циркулянтной структурой (м> + 1)-й модуль достоверно исправен, если он замыкает цепочку из ц> > t 0-путей длины 1 и все модули этой цепочки разноименные (различные). Будем считать, что это положение справедливо и для ЦС анализируемой структуры. Ранее показано, что степень диагностируемости рассматриваемой ЦС для компонентов первого типа (абонентов) tl = 1. Следовательно, для нахождения достоверно исправного начального модуля достаточно найти 0-путь длины 1 в предположении, что в системе не более одного отказавшего компонента первого типа.
Если текущее состояние системы неизвестно, то можно предположить, что выбранный в качестве начального модуль может быть неисправным. Тогда в соответствии с правилами модели ПМЧ результат проверки может быть недостоверным: как 0, так и 1. Если результат г^ = 0, то с учетом ограничения на возможное число отказавших компонентов первого типа модуль тк можно использовать в качестве проверяющего для диагностирования остальных компонентов системы. Если же г к = 1, то модуль т,. передает в ДМ сигнал о замене начального модуля и повторении процесса диагностирования.
В качестве начального модуля второго цикла целесообразно выбрать один из модулей, не проверяемых начальным модулем первого цикла. В предположении, что за время диагностирования новые отказы не возникают, такая замена позволит исключить возможный источник ошибок в начале этого цикла.
Основные процедуры второй части процесса диагностирования:
— исполнение исправным модулем функций проверяющего модуля;
— поиск пути для передачи управления от одного исправного модуля другому для исполнения функций проверяющего модуля.
Контроль работоспособности цифровой системы заключается в том, что каждый проверяющий модуль должен проверить техническое состояние своих преемников. Простейший способ выполнения проверок одного модуля разными проверяющими модулями — последовательный. Для его реализации на диагностическом графе ЦС нужно построить цикл, который обеспечит однократный обход всех активных модулей (абонентов) исправной системы. Но в рассматриваемой системе нельзя построить цикл, проходящий только через абоненты, так как связи между ними обеспечивают коммутаторы. В цикле, выбранном для диа-
72
СОЫТВОЬ БС!ЕМСЕ8 № 6 * 2014
гностирования в данной работе, абоненты, номера которых выделены полужирным шрифтом, чередуются с коммутаторами:
5 ^ 9, 2 ^ 8, 1 ^ 10, 3 ^ 12, 6 ^ 13,
4 ^ 11, 7 ^ 14, 5. (3)
В табл. 1 представлена информация о составе проверяемых подсистем U, k и номерах проверяющих их модулей mj (абонентов Aj). Нетрудно заметить, что проверяемые подсистемы, показанные в столбце Ui ki, совпадают с двухчленными частями цикла, показанного в выражении (3). Это не случайно, система контроля исправной системы организована так, что при получении проверяющим абонентом A. нулевых результатов для трех проверяемых им подсистем он передает управление для продолжения процесса абоненту Ak1 из подсистемы Ui k1. Такая организация позволяет вернуться к начальному абоненту 5 при исправном состоянии всех проверенных компонентов.
3.2. Пример диагностирования
Предположим, что из-за большого перерыва между циклами контроля в рассматриваемой ЦС накопились отказы абонента 6 и двух коммутаторов 8 и 14, причем их неисправности таковы, что прекращают работу компонентов, в которых они возникают, и не влияют на работоспособность смежных компонентов.
По сигналу ДМ о начале контроля начальный абонент 5:
— образует промежуточную таблицу PT5, перепишет в нее из таблицы TS (см. табл. 1) строку T5, найдет в ней индексы (9, 2), (10, 6), (14, 3) проверяемых подсистем U9 2, U10 6, U14 3, передаст абоненту 2 (6, 3) команду «Выполнить самоконтроль подсистемы U9 2 (U10 6, U14 3) и передать результаты проверок абоненту 5».
Получив эту команду, абонент 2 (6, 3)) проводит самоконтроль подсистемы U9 2 (U10 6, U14 3) и передает полученные результаты проверок абоненту 5. Абонент 5 формирует оценки r9 2 = 0, r10 6 = 1,
14 3
= 1, записывает их в соответствующие клетки строки Т5 (для сокращения числа таблиц будем записывать результаты проверок, находящиеся в разных модулях, в общую табл. 4), анализирует полученные оценки: так как среди полученных оценок есть нулевая, то передает модулю 2 подсистемы Ц 2 строку Т5 и управление для перехода к процессу диагностирования. (Отметим, что в строке Т5 и в последующих полужирным шрифтом в результатах проверки выделен 0 того исправного абонен-
та, которому передается управление для продолжения процесса диагностирования.)
Абонент 2:
— образует промежуточную таблицу РТ2, перепишет в нее из таблицы Т5 строку Т2, найдет в ней индексы (8, 1), (13, 5), (9, 1) проверяемых подсистем, передаст в эти подсистемы команду «Выполнить самоконтроль и передать результаты проверок абоненту 2»;
— получит оценки результатов контроля г8 1 = 1, Г13 5 = 0, г9 1 = 0 и первому из абонентов с нулевой оценкой (абоненту 5) передаст таблицу РТ2 и управление процессом диагностирования.
Получив управление, абонент 5:
— перепишет в таблицу РТ2 из таблицы Т5 строку Т5, найдет в ней индексы (9, 2), (10, 6), (14, 3) проверяемых подсистем Ц 2, Ц10 6, Ц14 3, передаст абоненту 2 (6, 3) команду «Выполнить самоконтроль подсистемы Ц 2 (Ц10 6, Ц14 3) и передать результаты проверок абоненту 5»;
— сформирует оценки Г9 2 = 0, г10 6 = 1, г14 3 = 1;
— так как единственный абонент с нулевой оценкой (абонент 2) уже исполнял функции проверяющего, то абонент 5 ищет исправный абонент для исполнения этих функций в строке Т2 таблицы РТ2, находит 0 (подчеркнут для пояснения) в клетке га к3, передает абоненту 1 таблицу РТ2 и управление процессом диагностирования.
Абонент 1, исполняя функции проверяющего, получит от соответствующих подсистем результаты контроля, сформирует оценки г10 3 = 0, Г9 7 = 0, г8 4 = 1; передаст таблицу РТ2 и управление про-
Таблица 4
Информация к Примеру (первый запуск)
Строка T. Проверяющий абонент Проверяемые подсистемы U, k, оценки результатов их проверок r, k
1 4 U-ui rii,ki Ua,ki r a,ki Ua,k3 ri3,k3
Таблица PT5
T 5 9, 2 0 10, 6 1 14, 3 1
Таблица PT2
T2 2 8, 1 1 13, 5 0 9, 1 0
T5 5 9, 2 0 10, 6 1 14, 3 1
T 1 10, 3 0 9, 7 0 8, 4 1
T 3 12, 6 1 14, 4 1 10, 5 0
T 7 14, 5 1 12, 2 0 11, 6 1
цессом диагностирования абоненту 3, имеющему крайнюю слева нулевую оценку.
Абонент 3 исполнит функции проверяющего модуля, сформирует оценки проверяемых им подсистем г12 6 = 1, г14 4 = 1, г10 5 = 0; обнаружит, что единственный абонент с нулевой оценкой (абонент 5) уже исполнял эти функции, и вынужден искать исправный абонент для выполнения этих функций в строке Т1 таблицы РТ2 — абонент 7.
Абонент 7, выполнив функции проверяющего и не обнаружив в вышележащих строках таблицы РТ2 ни одного исправного абонента, не исполнявшего функций проверяющего, закончит процесс диагностирования и перешлет в ДМ таблицу РТ2 для обработки полученных результатов.
Для обработки и дешифрации результатов проверок ДМ переписывает их из таблицы РТ2 в заранее заготовленную диагностическую таблицу Тд [2]. В табл. 5 представлена таблица Тд после обработки результатов из таблицы РТ2 (см. табл. 4). Поясним структуру табл. 5. В клетках левого столбца перечислены компоненты проверяемых подсистем ик, взятые из соответствующих клеток таблицы Ту
(см. табл. 1), а клетки следующего столбца предназначены для записи оценок гг к проверок этих подсистем, полученных в процессе диагностирования. Последующие столбцы обозначены номерами одиночных компонентов системы S7 3 4: абоненты — номерами 1—7, коммутаторы — номерами 8—14.
Вхождение компонентов / и к в состав подсистемы и. к, приведенной в левом столбце таблицы Тд, отмечается знаком «*», поставленным в клетку на пересечении столбцов / и к и строки и. к. (Так как в табл. 5 показаны результаты обработки информации из таблицы РТ2, то знаки «*» остались только в тех шести строках, для которых нет оценок проверок этих подсистем.)
В нижней части таблицы Тд находятся две строки, озаглавленные (в левом столбце) символами А0 и А1 и предназначенные для записи результатов обработки полученной информации.
Обработка записей из таблицы РТ2 заключается в следующем:
1) из строк Т2, Т5, ..., Т7 таблицы РТ2 выделены оценки результатов проверок г8 1 = 1, г13 5 = 0,
Таблица 5
Диагностическая таблица Т„
Проверяемые г Компоненты системы
подсистемы и к ¡,к 1 2 3 4 5 6 7 8 9 10 11 12 13 14
9, 2 0/0 0/0 0/0
10, 6 1/1 1/1 1/1
14, 3 1/1 1/1 1/1
8, 1 1/0 1/0 1/0
13, 5 0/0 0/0 0/0
9, 1 0/0 0/0 0/0
10, 3 0/0 0/0 0/0
9, 7 0/0 0/0 0/0
8, 4 1/0 1/1 1/1
12, 6 1/1 1/1 1/1
14, 4 1/1 1/1 1/1
10, 5 0/0 0/0 0/0
13, 4 -/- */* */*
11, 1 -/- */* */*
12, 7 -/- */* */*
11, 7 -/0 */0 */0
8, 3 -/0 */0 */0
13, 2 -0 */0 */0
14. 5 1/1 1/1 1/1
12, 2 0/0 0/0 0/0
11, 6 1/1 1/1 1/1
А0 0/0 0/0 0/0 -/0 0/0 -/- 0/0 -/0 0/0 0/0 -/0 0/0 0/0 -/-
А1 -/- -/- -/- 1/- -/- 1/1 -/- 1/- -/- -/- 1/- -/- -/- 1/1
74
СОЫТВОЬ БтЕМСЕБ № 6 * 2014
г9 ,1 =
г14 5 = 1,
г12 2 = 0, г11 6 = 1 и записаны в
Таблица 6
соответствующие клетки столбца г; к табл. 5, шесть клеток этого столбца заполнены прочерками (—);
2) значения 0 и 1, записанные в столбце гг к, переписаны в клетки той же строки Ц к, отмеченные знаком «*»;
3) заполнены прочерками (—) клетки строк А0, А1;
4) после этого в клетки строк А0, А1 записаны результаты диагностирования в соответствии с правилами:
а) в к-ю клетку строки А0 записан 0, если в вышележащих клетках этого столбца есть хотя бы один нуль,
б) в клетки на пересечении строки А1 и столбцов, озаглавленных номерами компонентов 4, 6, 8, 11, 14 записаны 1, так как в вышележащих клетках этих столбцов есть хотя бы одна единица и нет ни одного нуля;
5) расшифровка полученных записей в строках А0 и А1 приводит к диагностическим заключениям:
а) исправны 9 компонентов, номера которых определяются местоположением нулевых записей в строке А0;
6) в соответствии с местоположением единиц в строке А1 подозреваются в отказе абонент 6 и коммутаторы 8 и 14 (что совпадает с номерами компонентов в исходной отказовой ситуации), а также абонент 4 и коммутатор 11 (что является ошибочным заключением).
Число компонентов, показанных в п. б) как подозреваемые в отказе, превышает их число в оценке (1), что свидетельствует о возможной недостоверности полученного диагноза. Для уточнения диагноза заменим на исправный коммутатор 8 и повторим диагностирование системы.
Действия проверяющих абонентов в процессе второго диагностирования аналогичны их действиям во время первого диагностирования. Информация, полученная в процессе второго диагностирования, показана в табл. 6. Результаты проверок отдельных подсистем из табл. 6 переписаны в соответствующие клетки табл. 5. Для отличия цифр первого и второго запусков в табл. 5 принято такое размещение: в каждой клетке цифры первого запуска написаны слева, второго запуска — справа. Такие правила относятся и к клеткам строк А0 и А1. Не останавливаясь на подробностях обработки результатов второго запуска, рассмотрим конечные результаты — записи строк А0 и А1. Они показывают:
а) исправны 12 компонентов, номера которых определяются местоположением нулевых записей в строке А0;
Информация к Примеру (второй запуск)
Прове- Проверяемые подсистемы и к и
Строка ряющим оценки результатов их проверок г. к
т. абонент
1 4 и-1, к! га , к! иа,к2 Г 12,к2 и3,к3 гв,к3
Таблица РТ5
Т5 5 9, 2 0 10, 6 1 14, 3 1
То 2 8, 1 0 13, 5 0 9, 1 0
Т1 1 10, 3 0 9, 7 0 8, 4 0
Таблица РТ,
Т, 3 12, 6 1 14, 4 1 10, 5 0
Т5 5 9, 2 0 10, 6 1 14, 3 1
Т2 2 8, 1 0 13, 5 0 9, 1 0
Т1 1 10, 3 0 9, 7 0 8, 4 0
Т Т 7 7 14, 5 1 12, 2 0 11, 6 1
Т Т 4 4 11, 7 0 8, 3 0 13, 2 0
б) в соответствии с местоположением единиц в строке А1 подозреваются в отказе абонент 6 и коммутатор 14.
Число компонентов, показанных в п. б) как подозреваемые в отказе, не превышает их числа в оценке (2), что свидетельствует о достоверности полученного диагноза. Заменив абонент 6 и коммутатор 14 на исправные и повторив процесс диагностирования, получим подтверждение исправности восстановленной системы.
Несколько слов о причинах ошибочного диагноза во время первого запуска.
1. Абонент 4 входит в проверяемые подсистемы (8, 4) и (14, 4), в которые входят отказавшие коммутаторы 8 и 14 соответственно, отсюда единичные оценки результатов их проверок. В табл. 1 можно найти исправную подсистему (13, 4), нулевая оценка проверки которой позволила бы исключить абонент 4 из числа подозреваемых.
Но проверка (6 ^ 13, 4) не выполнялась, так как абонент 6 попал в число подозреваемых и ему не передавалось управление для выполнения функций проверяющего абонента.
2. Похожая ситуация и с коммутатором 11, который на проверке (7 ^ 11, 6) получает единичную оценку из-за отказавшего абонента 6. Что же касается исправных подсистем (11, 1) и (11, 7), то они не проверялись из-за подозреваемых в отказе абонентов 6 и 4.
3. В строке 9 табл. 2 в диагнозе в числе подозреваемых в отказе показан исправный абонент 6. Причина та же: абонент 6 входит в проверяемые подсистемы (10, 6), (11, 6) и (12, 6), в состав кото-
рых входят отказавшие коммутаторы 10, 11 и 12 (для ситуации в строке 9) соответственно, отсюда единичные оценки результатов их проверок. Так как в табл. 1 для каждого компонента есть три проверки, то нет других проверок, в которые абонент 6 входил бы с другим, исправным коммутатором. Поэтому при отказе коммутаторов 10, 11 и 12 абонент 6 всегда будет в числе подозреваемых в отказе. Так в строке 16 табл. 2 рассматривается отка-зовая ситуация (3, 10, 11, 12), показано, что к диагнозу из 14-й строки (для отказавших 10, 11, 12) добавляется абонент 3.
Как видно из этих примеров, отказ абонентов сокращает число возможных проверок для коммутаторов, в том числе исправных, что приводит к ошибочным диагнозам.
ЗАКЛЮЧЕНИЕ
Рассмотрены вопросы диагностирования технического состояния компонентов (абонентов и коммутаторов) цифровых систем с новой структурой — минимального квазиполного графа размера 7x7. Оценки диагностируемости анализируемых цифровых систем получены обобщением результатов диагностирования отказовых ситуаций различной кратности в системе из 7 абонентов и 7 коммутаторов. Показано, что на выбранной системе тестов анализируемые системы являются не больше чем 1-диагностируемыми (без ремонта) для отказавших абонентов, 2-диагностируемыми — для отказавших коммутаторов и 1,1-диагностиру-емыми — для кратного отказа абонента и коммутатора. Показано, что при отказе двух абонентов соединяющий их исправный коммутатор будет исключен из числа подозреваемых в отказе, если в диагностическом тесте есть соответствующая проверка. Для исключения всех подобных ситуаций в рассматриваемой системе диагностический тест должен включать в себя 42 такие проверки.
ЛИТЕРАТУРА
1. Каравай М.Ф., Подлазов В. С. Распределенный полный коммутатор как «идеальная» системная сеть для многопроцессорных вычислительных систем // Управление большими системами. — 2011. — Вып. 34. — С. 92—116. — URL: http://ubs.mtas.ru/upload/library/UBS3405.pdf (дата обращения 6.11.2014).
2. Ведешенков В.А. Организация диагностирования цифровых систем со структурой симметричного двудольного графа // Проблемы управления. — 2009. — № 6. — С. 59—67.
3. Ведешенков В.А., Лебедев В.Н. Мультиагентная организация системного диагностирования больших цифровых систем со структурой типа тороидальной решетки // Автоматика и телемеханика. — 2008. — № 2. — С. 35—39.
4. Barsi F., Grandoni F., Maestrini P. A theory of diagnosability of digital systems // IEEE Trans. Comput. — 1976. — Vol. C-25, N 6. — P. 585—593.
5. Ведешенков В.А. Путевой метод самодиагностирования цифровых систем // Автоматика и телемеханика. — 2005. — № 3. — С. 154—168.
6. Пархоменко П.П. Определение технического состояния многопроцессорных вычислительных систем путем анализа графа синдромов // Автоматика и телемеханика. — 1999. — № 5. — С. 126—134.
7. Preparata F.P., Metze G., Chien R.T. On the connection assignment problem of diagnosable systems // IEEE Trans. Electr. Comput. — 1967. — Vol. 16, N 6. — P. 848—854.
8. Ведешенков В.А. Способ оценивания диагностируемости цифровых систем со структурой симметричного двудольного графа // Тр. XXI междунар. конф. «Проблемы управления безопасностью сложных систем», Москва, декабрь 2013 г. — М., 2013. — С. 276—279.
Статья представлена к публикации членом редколлегии чл.-корр. РАН П.П. Пархоменко.
Ведешенков Виктор Алексеевич — д-р техн. наук, гл. науч. сотрудник, S (495) 334-75-90, И [email protected],
Курако Евгений Александрович — науч. сотрудник, S (495) 334-75-90, И [email protected],
Лебедев Виталий Николаевич — канд. техн. наук, зав. лабораторией, S (495) 334-92-81, И [email protected],
Институт проблем управления им. В.А. Трапезникова РАН, г. Москва.
iößaa книга
Горбанева О.И., Угольницкий Г.А., Усов А.Б. Моделирование коррупции в иерархических системах управления: монография. — Ростов-на-Дону: ЮФУ, 2014. — 412 с. (ISBN 978-5-9905703-6-8).
Представлена авторская концепция математического моделирования коррупции в иерархических системах управления. Сформулированы основные положения концепции. Построены и исследованы теоретические модели административной и экономической коррупции в статических и динамических постановках, а также прикладные модели управления организационными и эколого-экономическими системами в условиях коррупции.
Для специалистов по прикладной математике, математической экономике и организационному управлению, аспирантов и студентов соответствующих специальностей, а также сотрудников органов государственного управления.
