МОДЕЛИ И МЕТОДЫ СИНТЕЗА ИНТЕЛЛЕКТУАЛЬНОМ ДИАГНОСТИЧЕСКОЙ ИНФРАСТРУКТУРЫ РАСПРЕДЕЛЕННЫХ КОМПЬЮТЕРНЫХ СИСТЕМ : МОДЕЛІ ТА МЕТОДИ СИНТЕЗУ ІНТЕЛЕКТУАЛЬНОМУ ДІАГНОСТИЧНОЇ ІНФРАСТРУКТУРИ РОЗПОДІЛЕНИХ КОМП'ЮТЕРНИХ СИСТЕМ

Краткое описание

МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ. МОЛОДЕЖИ И СПОРТА УКРАИНЫ
НАЦИОНАЛЬНЫЙ ТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ «Харьковский политехнический институт»

На правах рукописи

МИРОШНИК МАРИНА АНАТОЛЬЕВНА

УДК 681.3:324-326

МОДЕЛИ И МЕТОДЫ СИНТЕЗА ИНТЕЛЛЕКТУАЛЬНОМ ДИАГНОСТИЧЕСКОЙ ИНФРАСТРУКТУРЫ РАСПРЕДЕЛЕННЫХ КОМПЬЮТЕРНЫХ СИСТЕМ

05.13.05 - компьютерные системы и компоненты
Диссертация на соискание ученой степени доктора техни1 еских наук
ХАРЬКОВ-2012

Научный консультант: доктор технических наук, профессор Загарий Ге! надий Иванович

СОДЕРЖАНИЕ

ПЕРЕЧЕНЬ УСЛОВНЫХ СОКРАЩЕНИЙ ……………………………………... 6
ВВЕДЕНИЕ ……………………………………………………………………….... 9
Раздел 1. СОСТОЯНИЕ И ТЕНДЕНЦИИ РАЗВИТИЯ РАСПРЕДЕЛЕННЫХ КОМПЬЮТЕРНЫХ СИСТЕМ В СВЕТЕ СОВРЕМЕННЫХ ИНФОРМАЦИОННЫХ И МИКРОЭЛЕКТРОННЫХ ТЕХНОЛОГИЙ ………..

24
1.1. Архитектура и функциональные особенности РКС ……………..………….
24
1.2. Проблема отказоустойчивости РКС в свете современных микроэлектронных технологий…………………………………………………….
29
1.2.1 Задачи диагностической инфраструктуры РКС ……....................................
29
1.2.2 Анализ структур и тенденций развития итеративных вычислительных сетей …………………………………………………………………………………
36
1.2.3. Методы функционального диагностирования МПСОД. …………………. 48
1.2.4. Тестовое диагностирование МПСОД на системном уровне ..…………… 55
1.2.5. Методы тестового диагностирования динамических систем
на функциональном уровне ………………………………………………………..
60
1.2.6. Методы тестового диагностирования МПСОД на структурно-логическом уровне …………………………………………………………………
63
1.3 Выводы …………………………………………………………………………. 75
РАЗДЕЛ 2. КОНЦЕПТУАЛЬНАЯ МОДЕЛЬ ДИАГНОСТИЧЕСКОЙ ИНФРАСТРУКТУРЫ С ИНТЕЛЛЕКТУАЛЬНЫМИ СВОЙСТВАМИ ………..
77
2.1. Архитектурно-структурная организация ДИ-ИС …………………………... 77
2.2. Решение задач диспетчеризации в диагностических структурах МПСОД .. 86
2.2.1. Применение программных методов обработки запросов для решение задач диспетчеризации …………………………………………………………….
86
2.2.2. Формализация задачи обработки запросов в базе тестовых данных …… 88
2.2.3. Формализация решения задачи нелинейного и линейного программирования с булевыми переменными …………………………………...
93
2.2.4. Оценка сложности процедур булевого программирования ……………. 103
2.3. Метод вычисления параметров МП-распознавателя геометрических образов ОД ………………………………………………………………………….
105
2.4. Оценка информационной избыточности компактного двумерного метрического пространства ………………………………………………………
117
2.5. Интерполяционные методы редукции автоматных моделей динамических систем ……………………………………………………………………………….
126
2.6. Выводы ………………………………………………………………………… 135
РАЗДЕЛ 3. СИНТЕЗ ПРОВЕРЯЮЩИХ ТЕСТОВ ПО АВТОМАТНЫМ МОДЕЛЯМ ОБЪЕКТОВ ДИАГНОСТИРОВАНИЯ…………………………….
137
3.1. Постановка задачи исследований. Основные определения и понятия ……. 137
3.2. Отличительные, установочные и синхронизирующие последовательности автоматов ……………….………….........................................................................
141
3.2.1 Отличительные последовательности автоматов ……………….………….. 141
3.2.2 Установочные последовательности …………………….………………….. 144
3.2.3 Синхронизирующие последовательности …………………………………. 146
3.3. Синтез проверяющих последовательностей ………………………………... 150
3.4. Характеристические последовательности …………………………………... 154
3.5. Методы синтеза легко тестируемых цифровых устройств и систем …….... 157
3.5.1. Диагностические свойства сдвигово-регистровых последовательностей . 157
3.5.2. Метод преобразования ОД в легко тестируемый ………………………… 163
3.5.3. Кодирование автоматной модели ОД, оптимальное по тестопригодности …………………………………………………………………..
170
3.6. Выводы…………………………………………………………………………. 177
РАЗДЕЛ 4. АРХИТЕКТУРА И ОРГАНИЗАЦИЯ ДИАГНОСТИЧЕСКИХ ЭКСПЕРИМЕНТОВ В ИНФРАСТРУКТУРЕ МПCOД НА СИСТЕМНОМ И ФУНКЦИОНАЛЬНОМ УРОВНЯХ …………………………………………........

179
4.1. Введение ……………………………………………………………………….. 179
4.2. Диагностический эксперимент в многопроцессорных МПСОД с неисправными интерфейсными связями ……………………………………..…..
180
4.3. Диагностический эксперимент в многопроцессорных МПСОД с самотестируемыми процессорными модулями …………………………………..
185
4.4. Диагностирование функциональных неисправностей в микроконтроллерных узлах МПСОД ……………………………………………..
188
4.4.1. Анализ функциональных характеристик микроконтроллеров ………….. 189
4.4.2. Проверка исправности МП-операций обработки данных ………………... 193
4.4.3. Проверка исправности МП-операций дешифрации и управления обработкой …………………………………………………………………………
194
4.4.4. Диагностирование механизмов хранения и передачи данных ………….. 199
4.4.5. Проверка исправности МП-операций управления передачей данных и выборки регистров …………………………………………………………………
205
4.4.6. Проверка исправности МП-операций хранения и передачи данных в оперативном запоминающем устройстве ………………………………………..
207
4.5. Процедура обнаружения перемежающихся неисправностей в микроконтроллерах ………………………………………………………………..
213
4.6. Выводы…………………………………………………………………………. 217
РАЗДЕЛ 5. ДИАГНОСТИЧЕСКИЕ ЭКСПЕРИМЕНТЫ В ИВС НА СТРУКТУРНО-ЛОГИЧЕСКОМ УРОВНЕ ……………………………………….
219
5.1 Синтез проверяющей последовательности по тестовому графу функциональной ячейке ИВС ……………………………………………………..
219
5.2 Отличительные, характеристические символы ФМ и циклические отличительные последовательности узлов ИВС …………………………………
227
5.3 Проверяющий эксперимент для класса легко тестируемых ИВС ………….. 233
5.4 Синтез тестов на основе характеристических символов…………………….. 243
5.5 Диагностические эксперименты в ИВС с наблюдаемыми выходами ячеек сети ………………………………………………………………………………….
252
5.5.1 Синтез проверяющих тестов на основе циклических отличительных последовательностей………………………………………………………………..
252
5.5.2 Диагностические эксперименты на основе характеристических последовательностей ..……………………………………………………………..
259
5.5.3 Метод синтеза С-тестируемых ИВС ……………………………………….. 263
5.5.4 Метод синтеза легко тестируемых двумерных ИВС………………………. 268
5.6 Выводы………………………………………………………………………….. 273
РАЗДЕЛ 6. МЕТОДЫ ПРОЕКТИРОВАНИЯ РЕКОНФИГУРИРУЕМЫХ ИВС НА ПРОГРАММИРУЕМЫХ ФУНКЦИОНАЛЬНЫХ МОДУЛЯХ ……………
277
6.1. Синтез одномерных ИВС с централизованным управлением реконфигурацией ……………………………………………………………….…..
277
6.2. Синтез ИВС с распределенным управлением реконфигурацией ………….. 287
6.2.1. Одномерные однонаправленные ИВС …………………………………… 287
6.2.2. Двумерная ИВС с распределенным управлением реконфигурацией ….... 289
6.3. Многопроцессорная система управления установкой РОСТ для выращивания монокристаллов …………………………………………………….
296
6.4. Выводы…………………………………………………………………………. 308
ЗАКЛЮЧЕНИЕ……………………………………………………………….......... 310
СПИСОК ИСПОЛЬЗОВАНЫХ ИСТОЧНИКОВ………………………………… 315
ПРИЛОЖЕНИЕ А .…………………………………....………………………….... 345
ПРИЛОЖЕНИЕ Б ………………………………………………………………….. 352
ПРИЛОЖЕНИЕ В ………………………………..……..…………………………. 361
ПРИЛОЖЕНИЕ Г ……………………………………….…………………………. 365
ПРИЛОЖЕНИЕ Д ………………………………………………………………... 392

ПЕРЕЧЕНЬ УСЛОВНЫХ СОКРАЩЕНИЙ

АДЦУ автоматизированный диспетчерский центр управления
АЛУ арифметико-логическое устройство
БТД база тестовых данных
БУ блок управления
ВНТД время начала тестового диагностирования
ГС граничное сканирование
ГРП граф регистровых передач
ДИ диагностическая инфраструктура
ДИВС двумерные итеративные вычислительные сети
ДИ-ИС диагностическая инфраструктура с интеллектуальными свойствами
ДМ диагностический модуль
ДО диагностическое обеспечение
ДП диагностический процессор
ДС динамическая система
ДСч двоично-десятичный счетчик
ДСКА двумерные сети клеточных автоматов
ДТ детерминированный тест
ДУ дискретное устройство
ДЭ диагностический эксперимент
ЗТД запрос на тестовое диагностирование
ИВС итеративные вычислительные сети
ИДМ интеллектуальный диагностический модуль
ИМ интерфейсный модуль
ИТОД интеллектуальные технологии обработки данных
КА клеточный автомат
КЛБ конфигурируемый логический блок
ККС компьютерная корпоративная сеть
К-П константные и перемежающиеся неисправности
КС компьютерная система
МК микроконтроллер
МП многопроцессор
МПСОД многопроцессорная система обработки данных
МПСУ многопроцессорная система управления
НМ неисправный модуль
НСД несанкционированный доступ
ОД объект диагностирования
ОРТ обработка результатов тестирования
ОС обратная связь
ПМ процессорный модуль
ПН неисправность перемежающегося типа
ПМЧ модели Препарата-Метца-Чена
ПО программное обеспечение
ПС последовательностная схема
ПТД продолжительность тестового диагностирования
РИВС реконфигурируемые итеративные вычислительные сети
РК регистр команд
РКС распределенная компьютерная система
РОС реконфигурируемая однородная сеть
РС регистр состояний
РСОД распределенная система обработки данных
СКА сеть клеточных автоматов
СОК система на одном кристалле
СП синхронизирующая последовательность
СР сдвиговый регистр
СРЛОС сдвиговый регистр с линейной обратной связью
СРНОС сдвиговый регистр с нелинейной обратной связью
СТД система технического диагностирования
СУ система управления
СУБТД система управления базой тестовых данных
ТД тестовое диагностирование
ТИС тестовые интерфейсные связи
ТПВ таблица переходов-выходов
ТС телекоммуникационная система
ФД функциональное диагностирование
ФМ функциональный модуль
ЦОП циклическая отличительная последовательность
ЦХП циклическая характеристическая последовательность
ХП характеристическая последовательность

ВВЕДЕНИЕ

В настоящее время в нашей цивилизации происходит переход из ХХ – «энергетического» века в ХХІ век, который можно назвать «информационным». Информация превращается из абстрактного понятия в едва ли не самый ценный объект, который определяет перспективы развития всех значимых событий в науке, технике, коммерции, социуме, напрямую связанных с процессами производства и владения информацией.
Интеграция информационных ресурсов в инфраструктуре распределенных компьютерных систем (РКС) обработки данных и управления, в корпоративных и телекоммуникационных сетях позволяет осуществить взаимодействие любых пользователей в реальном масштабе времени вне зависимости от расстояния и возможность мобильного доступа к необходимой информации в любое время и в любом месте.
Развитие и внедрение наноэлектронных технологий в процесс создания современных информационно-управляющих и компьютерных систем (КС), широкое использование программируемых логических интегральных схем (ПЛИС), сигнальных процессоров, микроконтроллеров, сетей и систем на одном кристалле (NOC) и (SOC), модулей с интеллектуальными свойствами (IP-core), появление на рынке электронных услуг смарт-устройств, ноутбуков, мобильных устройств и мониторов открывают перспективы развития инновационных подходов к созданию систем, обладающих принципиально новыми архитектурными и функциональными свойствами, такими, как самоорганизация, реконфигурация, искусственный интеллект.
С развитием IT- и IP-технологий многие ведущие зарубежные фирмы вкладывают огромные средства в создание соответствующего инструментария интеллектуальной обработки данных, текстовой, речевой и графической информации.
На применении интеллектуальных технологий обработки данных (ИТОД) базируются перспективные концепции управления процессами и средствами в недетерминированной обстановке, на основе их активного использования предполагается поддерживать рациональные решения, строятся биометрические системы идентификации и верификации для решения задач обеспечения безопасности.
Интеллектуализация обработки данных в связи с бурным развитием
IP-технологий начинает приобретать все большее значение для эффективного решения двух основополагающих проблем.
С одной стороны, это получение в реальном масштабе времени многоаспектной и объективной информации из всех доступных информационных источников о состоянии, направлении развития тех или иных процессов. Поэтому синтез знаний, осуществленный на основе систем их интеллектуальной обработки, дает абсолютно новое интегративное качество, позволяющее прогнозировать негативное развитие тех или иных процессов и явлений.
С другой стороны, применение ИТОД дает возможность повысить безопасность функционирования различных компьютеризированных систем, в том числе связанных с принятием стратегических решений. Свойства безопасности, надежности и отказоустойчивости в корпоративных компьютерных сетях и компьютеризированных системах управления транспортными системами, информационно-управляющих системах химическим производством и технологическим оборудованием, ядерными реакторами, средствами космической техники и др. обеспечиваются средствами защиты, исключающими катастрофические последствия с большими материальными потерями и человеческими жертвами.
Обеспечение безопасности РКС включает в себя защиту каналов связи, оборудования, программного обеспечения, данных и персонала. Методы и средства обеспечения безопасности РКС можно условно разделить на несколько групп:
– криптографические средства, обеспечивающие защиту от несанкционируемого доступа информации;
– средства и методы помехоустойчивого кодирования, обеспечивающие защиту информации при передаче ее по каналам связи;
– средства, обеспечивающие защиту от воздействия программ-вирусов;
– средства, обеспечивающие защиту от отказов, перемежающихся неисправностей и сбоев, возникающих при работе программно-аппаратных подсистем РКС.
Надежность и отказоустойчивость функционирования РКС и ее подсистем относится к стратегическому уровню защиты безопасности, осуществляющего управление РКС и поддерживающего работоспособность и исправность функционирования всех программно-аппаратных средств и обеспечивается встроенными средствами тестового, функционального диагностирования и восстановления работоспособности, которые включены в систему технического диагностирования (СТД) или диагностической инфраструктуры (ДИ).
Возрастание сложности современных компьютерных систем, требований высокой производительности, надежности и отказоустойчивости в условиях стохастического характера входных потоков информации и недетерминированности параллельной обработки данных определяют парадигму использования ИТОД для рационального управления процессами функционирования, диагностирования и восстановления работоспособности путем реконфигурации структуры РКС.
Это определяет сущность инновационного подхода к проектированию диагностической инфраструктуры с интеллектуальными свойствами (ДИ-ИС) РКС, многопроцессорных систем обработки данных (МПСОД) и управления (МПСУ).
Актуальность темы.
Развитие информационных, наноэлектронных технологий и беспроводных широкополосных сетей передачи информации, определяют перспективу создания экономичных, надежных и отказоустойчивых КС, производительность которых сравнима с производительностью мощных суперкомпьютеров типа nCube, Cray, но со стоимостью в десятки и сотни раз меньшей.
В настоящее время многочисленные исследования по созданию надежных и отказоустойчивых КС на основе использования методов и моделей программно-аппаратных средств технической диагностики выполняются с учетом международных стандартов проектирования цифровой техники IEEE 1149.1÷4 «Стандарт граничного сканирования» и IEEE Р1500 Built-in self test (BIST) «Стандарт встроенных средств диагностирования».
В публикациях ведущих специалистов крупнейших фирм Synopsis, Itel, IBM Inc, Mentor Graphics и др. обсуждается эффект синергизма при решении проблем верификации и диагностирования цифровых систем. Эффект синергизма на этапе производства и эксплуатации достигается при создании ДИ систем путем строгого соблюдения стандартов тестопригодного проектирования, методов синтеза легко тестируемых схем, сочетания функциональных и тестовых методов диагностирования неисправностей, использования статических и динамических методов верификации, встроенных средств диагностирования.
Весомый вклад в решение проблем сигнатурного мониторинга, тестового и функционального диагностирования, синтеза легко тестируемых схем, генерации тестов и моделирования неисправностей, создания встроенных средств самотестирования внесли ученые: П.П. Пархоменко, Е.С. Согомонян, А.П. Горяшко, В.Г. Тоценко, Л.А. Мироновский, Д.В. Сперанский, В.А. Твердохлебов, А.М. Романкевич, Ю.А. Скобцов, С.В. Яблонский, А.Н. Богомолов, Л.В. Дербунович, Р. Убар, Г.Ф. Кривуля, E.J. McCluskey, R.G. Bennets, S.K. Gupta, J. Savir, Y. Zorian, J.A. Abraham и др.
Широкое применение элементной базы NoC, SoC и ПЛИС при проектировании КС дало толчок многочисленным исследованиям по созданию динамических систем реконфигурации КС, обладающих свойствами конструктивной однородности и параллельности обработки данных. Это определяет концептуальные основы проектирования ДИ компьютерных систем и их компонент в виде BIST одномерных и двумерных итеративных вычислительных сетей (ИВС) с конструктивными свойствами архитектурно-структурной однородности, тестопригодности, самопроверяемости, высокой производительности и реактивности.
Существующие СТД и ДИ в большинстве случаев ориентированы на обнаружение класса устойчивых неисправностей константного типа, что неадекватно отражает множество возможных дефектов в субмикронных КМОП технологий. Повышение плотности интеграции приводит к возрастанию числа дефектов типа «замыкания соседних линий», имеющими электрическое сопротивление между этими линиями, что не соответствует используемым моделям типа «короткое замыкание». С повышение тактовой частоты становятся соизмеримы задержки сигналов в линиях связи и активных элементах, что приводит к появлению неисправностей типа «задержка фронта» и «задержка среза» импульса и искажений функциональных характеристик схем.
Необходимость учета особенностей субмикронных технологий производства СБИС, условий эксплуатации РКС в рамках жестких стоимостных и временных ограничений приводит к необходимости объединения методов функционального, тестового диагностирования и расширения класса обнаруживаемых неисправностей.
Многочисленные исследования процедур тестового диагностирования СБИС показывают, что потребляемая мощность на проверку СБИС в 1,5 раза превышает затраты энергии в процессе функционирования. Поэтому рациональное распределение энергетических затрат должно обеспечиваться ДИ путем управления процедурами тестового диагностирования КС в процессе ее функционирования. Этот подход был реализован фирмой Sun Microsystems для семейства процессоров Ultra-SPARC III и Ultra-SPARC IV.
Стохастический характер входных потоков данных и недетерминированность их параллельной обработки, коммутации и маршрутизации, энергетических затрат на тестовое диагностирование, реконфигурация структуры при обнаружении неисправных компонент определяет необходимость проектирования ДИ-ИС, которая осуществляет диспетчеризацию и рационализацию управления этими процедурами.
Таким образом, разработка теоретических основ, моделей, методов и алгоритмов проектирования диагностической инфраструктуры с интеллектуальными свойствами, в которой интегрированы процедуры онлайнового тестового и функционального диагностирования, синтез легко тестируемых модулей сигнатурного мониторинга и управления ДИ-ИС в структуре РКС, синтез проверяющих тестов с учетом расширения класса обнаруживаемых неисправностей, диспетчеризации и восстановления работоспособности РКС, позволяющим повысить реактивность, робастность и отказоустойчивость компьютерных и телекоммуникационных сетей, является актуальной научно-технической проблемой, которая определила направление исследований диссертационной работы.
Связь работы с научными программами, планами, темами.
Тема диссертационной работы и полученные результаты отвечают проблематике госбюджетных и хоздоговорных тем, которые выполняются в Научно-технологическом комплексе (НТК) Институт монокристаллов, на кафедре «Технологии и автоматизации производства» в Харьковском национальном университете радиоэлектроники и на кафедре «Специализированные компьютерные системы» в Украинской государственной академии железнодорожного транспорта.
Исследования, выполненные в диссертации, связаны с хоздоговорными работами Института сциляционных материалов НАН Украины в области развития методов проектирования АСУ ТП производством крупногабаритных ЩГК в 2009-2012гг., с научно-исследовательскими работами, финансируемыми Национальной академией наук Украины: "Дослідження процесів тепло- і масопереносу при вирощуванні великогабаритних лужногалоїдних сцинтиляційних монокристалів" (шифр " Вплив ", Институт сцинтилляционных материалов, г. Харьков, ДР№ 010411006375); Договор № А/2.2 –08 від 31 січня 2008 р. відповідно до Державної цільової науково-технічної програми «Розроблення і освоєння мікроелектронних технологій, організація серійного випуску приладів і систем на їх основі» на 2008-2011 роки, затвердженої Постановою Кабінету Міністрів України від 21.11.07 №1355 і розпорядженнями Президії НАН України від 13.12.07 №806 та від 31.01.08 №111.
Исследования, выполненные в диссертации, осуществлялась в соответствии с планами НИР и программами, которые выполнялись на кафедре «Технологии и автоматизации производства» в ХНУРЭ, в 2005-2007г.г. по теоретической госбюджетной теме №189 – «Теоретичні основи створення перспективних компонентів та нових технологій їх виробництва для широкого класу волоконно-оптичних систем», держ. реєстр. № 0105U002739, которая выполнялась согласно приказу Министерства образования и науки Украины №960 от 22.12.2004р; в 2008-2009р. по прикладной госбюджетной теме 224 «Конструктивно-технологічні основи створення перспективних компонентів та пристроїв мікро електромеханічних, радіоелектронних та комп’ютерних систем та нових технологій їх виробництва». В 2007 году получен акт внедрения в производство результатов исследований при выполнении поисковой темы "ТЕМП" НАН України "Дослідження процесів тепло - і масо переносу при вирощуванні великогабаритних лужногалоїдних сцинтиляційних монокристалів" (шифр "Вплив", Институт сцинтилляционных материалов,
г. Харьков ДР№ 010411006375).
Также проводились исследования в рамках хоздоговорных тематик, а именно, договор № 07-59 від “1” листопада 2007 р. “Розробка математичного забезпечення для виводу залежності норм праці та режимів різання від конструктивно-технологічних факторів” и договор № 08-50 від “6” жовтня 2008р. “Розробка методів підвищення відмовостійкості програмно-технічних компонентів системи керування тепломережею”.
Исследования, выполненные в диссертации, осуществлялась в соответствии с планами НИР и программами, которые выполнялись на кафедре «Специализированные компьютерные системы» в УкрГАЖТ, а именно, с 2010г. проводились исследования по теоретической госбюджетной теме «Розробка методології побудови моделей функціонування залізничних станцій» на 2010-2012гг., держ. реєстр. № 23/1-2010Б, № инв.0110U002131.
С 2012 проводятся исследования в рамках хоздоговорной темы ДР№62/2-12, № инв.01120U00562103 по договору с Приднепровской железной дорогой ПР/НТО-12340/НЮ от 7.06.12 «Дослідження та розробка інформаційно-вимірювального стенду для контролю технологічних норм перевірки електричних та часових параметрів спеціалізованих реле».
Цель и задачи исследований. Целью диссертационной работы является повышение надежности и отказоустойчивости распределенных компьютерных систем на основе развития теоретических основ, концепции и архитектурно-структурной организации диагностической инфраструктуры с интеллектуальными свойствами, разработка моделей и методов синтеза легко тестируемых модулей сигнатурного мониторинга, диагностических экспериментов и решения задач рационального управления процедурами диагностирования отказов и восстановления работоспособности.
Сформулированная цель достигается решением следующих задач:
– анализ состояний и тенденций развития распределенных компьютерных систем, методов проектирования диагностических инфраструктур, встроенных аппаратно-программных средств диагностирования РКС и компонент в свете современных информационных и наноэлектронных технологий;
– разработка теоретических, концептуальных основ и архитектурно-структурной организации диагностической инфраструктуры с интеллектуальными свойствами с учетом современных достижений в области методов и средств технической диагностики;
– разработка методов синтеза легко тестируемых цифровых систем и устройств, методов генерации проверяющих тестов по автоматным моделям объектов диагностирования (ОД);
– разработка методов организации и проектирования диагностических экспериментов в МПСОД, динамических систем управления на архитектурно-структурном и функциональном уровнях;
– разработка методов синтеза легко тестируемых итеративных вычислительных сетей на клеточных автоматах и синтеза проверяющих тестов на структурно-логическом уровне, обеспечивающих алгоритмический способ генерации тестовых последовательностей встроенными средствами диагностической инфраструктуры;
– разработка методов проектирования реконфигурируемых одномерных и двумерных вычислительных сетей на функциональных модулях (ФМ) с централизованным и распределенным управлением реконфигурацией и процедур реконфигурации;
– применение разработанных методов синтеза легко тестируемых систем и устройств для проектирования ДИ-ИС и модулей диагностической инфраструктуры многопроцессорных систем обработки данных и компьютеризированных систем управления.
Объект исследования – процесс синтеза диагностической инфраструктуры для отказоустойчивых распределенных компьютерных систем.
Предмет исследования – модели, методы и процедуры синтеза диагностической инфраструктуры и модулей сигнатурного мониторинга.
Методы исследований. Для решения поставленных задач в работе использовались методы: теории массового обслуживания и марковских процессов для решения задачи рационального управления процессами диспетчеризации, запросов на тестовое диагностирование процессорных модулей и обнаружения перемежающихся неисправностей; методы технической диагностики, которые применены для разработки функциональных и тестовых средств диагностирования РКС и компонент; методы теории графов, использованные при разработке графовых моделей РКС; методы теории цифровых автоматов – для организации диагностических экспериментов с автоматными моделями функциональных модулей РКС, разработки концепции сигнатурного мониторинга и встроенных легко тестируемых программно-аппаратных средств диагностирования.
Оценка эффективности применения разработанных методов осуществлена на основе анализа экспериментальных данных, полученных в лабораторных условиях и на установках РОСТ-4 для выращивания крупногабаритных монокристаллов на опытном производстве ИСМА НАН Украины, г. Харьков.
Научная новизна полученных результатов заключается в разработке и развитии основ теории, моделей и методов проектирования диагностической инфраструктуры с интеллектуальными свойствами распределенных компьютерных систем в условиях недетерминированности входных потоков данных и параллелизма обработки. В рамках основного научного результата получен ряд частных научных результатов.
Впервые:
– предложены и разработаны основы теории, концепция и архитектурно-структурная организация диагностической инфраструктуры с интеллектуальными свойствами РКС, в которой совмещены процедуры онлайнового тестового, функционального диагностирования, восстановления работоспособности и рационального управления диспетчеризацией процессов диагностирования и обработки данных, что позволяет создавать эффективные программно-аппаратные средства проверки исправности и реконфигурации системы в реальном времени без деградации ее производительности;
– предложено и обосновано использование в процессе диагностических экспериментов автоматов с магазинной памятью в качестве МП-распознавателей вход-выходных тестовых последовательностей, фазовых портретов ДС и разработка методов структурного синтеза редуцированных МП-автоматных моделей ОД, что позволило повысить эффективность процедур диагностирования и минимизировать емкость магазинной памяти;
– разработана графовая диагностическая ПМЧ модель МПСОД, состоящая из процессорных вершин-модулей, с неисправными, в числе которых модулей имеют перемежающиеся неисправности и неисправных интерфейсных связей; определены необходимые и достаточные условия диагностируемости и оптимальная диагностируемая структура системы, что позволило минимизировать число межмодульных связей и сократить время диагностирования;
– разработаны методы модификации однонаправленных итеративных вычислительных сетей (ИВС) и синтеза проверяющих последовательностей:
- для сетей с боковыми наблюдаемыми выходами разработана процедура преобразования автоматной модели узла сети к тестопригодному виду, основанная на концепции управляемости и наблюдаемости, что позволяет алгоритмически просто генерировать проверяющие последовательности и обеспечивать линейную зависимость длины теста от числа узлов сети;
- для сетей с наблюдаемыми выходами в каждой ячейке сети предложен метод модификации автоматной диаграммы узла сети путем введения дополнительного входного символа и кодирования состояний автоматной модели, порождающему гамильтонов цикл в последовательности переходов автомата, что обеспечивает свойство С-тестируемости сети и регулярность генерирования проверяющей последовательности;
– разработаны методы синтеза проверяющих тестов с использованием циклических и характеристических символов автоматных моделей узлов ИВС, которые позволяют формализовать и упростить процедуру генерации тестов встроенными средствами диагностирования и проверку исправности всей сети, исключить трудоемкую процедуру моделирования неисправностей.
Усовершенствованы:
– математический инструментарий и метод решения задачи диспетчеризации процессов тестового диагностирования модулей РКС в
ДИ-ИС путем групповой выборки запросов с индивидуальной сегментацией и повышением оперативности обработки поступающих запросов, рационализации управления процессами диагностирования и восстановления работоспособности, что позволяет обеспечить равномерность загрузки вычислительных ресурсов;
– функциональные модели МП-операций хранения и передачи данных в виде графа регистровых передач, марковская модель неисправностей МП-операций адресации к резидентной и внешней памяти, которая включает классы перемежающихся неисправностей: оверлейных, кодов операций, адресаций, сбоев синхронизации и метод синтеза тестов, обнаруживающих эти неисправности, что позволяет упростить процедуру синтеза проверяющих тестов для обнаружения перемежающихся неисправностей;
– метод построения диагностических экспериментов для ИВС, основанный на использовании тестового графа автоматной модели узлов сети и нахождении множества фундаментальных циклов в тестовом графе, разработана процедура синтеза тестов, анализа их избыточности и получена оценка трудоемкости процедуры синтеза тестов;
– метод синтеза легко тестируемых ИВС и построения проверяющих экспериментов с использованием циклических отличительных последовательностей, формируемых из отличительных символов автоматной модели ячейки сети и определены необходимые условия существования циклических отличительных последовательностей, что позволяет формализовать и упростить процедуру проверки исправности всей сети.
Получили дальнейшее развитие:
– метод и процедуры построения диагностического эксперимента на основе использования характеристических символов для класса ИВС без наблюдаемых выходов, не имеющих отличительных символов и метод синтеза проверяющих тестов путем анализа характеристического дерева преемников, не содержащего синхронизирующей последовательности, что позволяет расширить класс обнаруживаемых неисправностей и формализовать процедуру синтеза тестов для ИВС, не имеющих отличительных последовательностей;
– методы и процедуры синтеза одномерных и двумерных ИВС с распределенным управлением реконфигурацией с встроенной системой внутренней коммутации вход - выходных шин ФМ, определены и обоснованы нижние и верхние границы длины маршрутов в двумерной ИВС для выбора альтернативного варианта реконфигурации, разработаны процедуры замены неисправного ФМ резервным и восстановления работоспособности ИВС, что упрощает решение оптимизационной задачи выбора наилучшего варианта реконфигурации.
Практическое значение полученных результатов в области компьютерных систем и компонентов состоит в разработке и обосновании перспективной концепции построения интеллектуальной ДИ, легко тестируемых модулей сигнатурного мониторинга МПСОД, что является теоретической основой для решения практических задач. Обоснованы архитектурно-структурная организация ДИ-ИС, которая обеспечивает рациональное управление процедурами диагностирования МПСОД и методы синтеза легко тестируемых модулей ДИ-ИС для решения конкретных практических задач. В частности:
– при решении комплекса задач, связанных с разработкой и проектированием модулей ДИ-ИС на сетях клеточных автоматов, которые адаптированы к реализации на ПЛИС типа FPGA (справка про реализацию в международном проекте по программе Европейского Союза Tempus SAFEGUARD 158886-TEMPUS-1-2009-1-UK-TEMPUS-JPCR «Национальная сеть центров инновационной университетского индустриальной кооперации по инженерии безопасности» (Co-Design and Testing of Safety Critical FPGA-Based Systems, High Availability Systems and Technologies));
– повышением достоверности процедур тестового, функционального диагностирования и восстановления работоспособности МПСОД без деградации производительности (акт внедрения Энергоучет);
– исключением необходимости выполнения трудоемких процедур генерации проверяющих тестов и моделирования неисправностей, что снижает затраты на реализацию системы диагностического обеспечения (акт внедрения МИУ ГАЖТУ ГП «Проектно-конструкторское технологическое бюро по автоматизации систем управления на железнодорожном транспорте»);
– внедрением методов проектирования встроенных средств диагностирования в учебные и технологические процессы при модернизации многопроцессорных систем управления (МПСУ) установкой «РОСТ-4» опытно-промышленного производства Института Сцинтилляционных Материалов НАН Украины (г. Харьков), новизна которых подтверждена патентами Украины (акт внедрения ИСМ НАН Украины).
Разработанные методики использованы в учебном процессе кафедры «Специализированные компьютерные системы» Украинской государственной академии железнодорожного транспорта в курсах: «Компьютерная электроника», «Автоматизированное проектирование компьютерных систем», «Системы автоматизированного проектирования устройств и систем управления», «Контроль и диагностика систем», «Контроль и диагностика компьютерных систем и сетей», «Техническая диагностика» (акт внедрения УкрГАЖТ).
Личный вклад соискателя. Все основные результаты, выносимые на защиту, получены соискателем лично. Среди них – концепция, организация и структура ДИ-ИС, в которой совмещены процедуры онлайнового тестового и функционального диагностирования; методы проектирования и структурного синтеза редуцированных МП-автоматных моделей ДС, основанные на интерполяционных методах сжатия эталонных геометрических образов ДС и алгоритмов функционирования модулей управления МП-автоматных моделей; математический инструментарий решения задачи рационального управления диспетчеризацией процессов диагностирования и восстановления работоспособности МПС

Список литературы

ЗАКЛЮЧЕНИЕ

Диссертационная работа посвящена решению важной научно-прикладной проблеме разработки и обоснованию перспективной концепции проектирования ДИ-ИС для многопроцессорных систем обработки данных на основе теоретического обоснования и обобщения комплекса моделей и методов синтеза легко тестируемых цифровых модулей, синтеза проверяющих тестов, диагностических экспериментов, и решения задач рационального управления процедурами диагностирования отказов и реконфигурации МПСОД в условиях недетерминированности входных потоков информации и параллелизма обработки данных, что обеспечивает достижение цели – повышение надежности и отказоустойчивости многопроцессорных систем.
Основные научные и практические результаты диссертационной работы заключаются в следующем:
1. На основе анализа литературных источников, состояний и тенденций развития распределенных компьютерных и многопроцессорных систем в свете современных наноэлектронных и IT технологий, методов проектирования отказоустойчивых систем обоснована актуальность проектирования систем технического диагностирования и восстановления работоспособности под управлением модулей с интеллектуальными свойствами. Выявлены недостатки существующих систем диагностирования, в которых не учитывается недетерминированность входных потоков информации и параллельность обработки данных. Сформулированы цель и задачи исследования.
2. Впервые предложены и обоснованы концепция, организация и структура ДИ-ИС, в которой совмещены процедуры нормального функционирования, онлайнового тестового и функционального диагностирования, что позволяет создавать эффективные программно-аппаратные средства проверки работоспособности и исправности системы, реконфигурации структуры и восстановления работоспособности в реальном времени без снижения ее производительности.
3. Разработан метод построения диагностических экспериментов на основе использования автоматов с магазинной памятью в качестве МП-распознавателя вход-выходных тестовых последовательностей МПСОД и фазовых портретов динамических объектов диагностирования, модуля управляения процессом диспетчеризации режимов диагностирования, нормального функционирования и реконфигурации ОД.
4. Получена оценка коэфициентов избыточности двумерного эвклидового пространства на основе использования меры -энтропии метрических пространств, введенной А.Н. Колмогоровым, в котором задаются геометрические образы ДС, зависящие от частотно-временных параметров ДС и погрешности аппроксимации для ступенчатой и линейной интерполяции, что определяет потенциальную возможность и эффективность редукции автоматных моделей ДС.
5. Разработаны и обоснованы методы проектирования и структурного синтеза редуцированных МП-автоматных моделей ДС, основанные на интерполяционных методах сжатия эталонных геометрических образов ОД и алгоритмов функционирования модулей управления МП-автоматных моделей, что позволило повысить эффективность использования этих моделей в сравнении с аналитическими моделями.
6. Предложено на системном уровне организации тестового диагностирования МПCOД использовать графовые диагностические модели Препарата - Метца - Чена. Определены необходимые и достаточные условия диагностируемости системы из процессорных модулей. На основании этих условий разработан метод синтеза оптимальной диагностируемой структуры МПCOД.
7. Разработаны новый метод и процедура преобразования автоматной модели узла ИВС с боковыми наблюдаемыми выходами к тестопригодному виду путем добавления одного входного символа, что позволяет алгоритмически просто проверять правильность переходов состояний узла сети и обеспечивает линейную зависимость длины теста от числа узлов сети. Показано, что предложенный метод преобразования ИВС, приводит к получению верхней границы длины диагностического эксперимента для класса неисправностей в « » раз меньше по сравнению с существующими оценками для L-тестируемых сетей ( – число состояний ячеек сети).
8. Разработан и обоснован новый метод модификации автоматной диаграммы ячейки сети, который не имеет отличительной последовательности предусматривающий введение дополнительного входного символа, использования кодов состояний, порождающих гамильтонов цикл в последовательности переходов, что обеспечивает свойство С-тестируемости сети, регулярность реализации избыточной части схемы узла сети и регулярность построения диагностического эксперимента в фазе проверки правильности переходов состояний каждого узла в виде теста «бегущий» входной символ.
9. Разработан математический инструментарий и метод решения задачи диспетчеризации процессов тестового диагностирования в ДИ-ИС, в котором предложено использовать для планирования обработки запросов модулей многопроцессорных систем метод групповой выборки запросов с индивидуальной сегментацией, используемой в Grid системах. Разработаны алгоритмы диспетчеризации, которые основаны на решении задачи линейного и нелинейного булевого программирования.
10. Разработаны методы построения диагностических экспериментов по автоматным моделям объектов диагностирования и процедуры синтеза полных проверяющих последовательностей для автоматов, имеющих характерные вход-выходные отличительные, характеристические и синхронизирующие последовательности и получены оценки длины этих последовательностей.
11. Разработаны методы тестового диагностирования микропроцессорных модулей с RISC архитектурой на основе функциональной модели МП-операций хранения и передачи данных в виде графа регистровых передач, в которой используются только команды пересылок и ветвлений, модель функциональных неисправностей МП–операций адресации к резидентной и внешней памяти МК, включающей класс оверлейных ошибок и сбоев синхронизации. Разработаны процедура построения развернутого графа регистровых передач механизма косвенной адресации МК и метод синтеза тестов, проверяющих исправность этой МП-операции, марковская модель перемежающихся неисправностей МК узлов, предложен метод расчета числа повторений тестовых последовательностей, обнаруживающих ПН при заданной вероятности их появления.
12. Разработан метод построения диагностических экспериментов для ИВС, основанный на использовании тестового графа автоматной модели узлов сети и нахождении множества фундаментальных циклов в тестовом графе. Определена необходимость выполнения процедуры анализа избыточности множества проверяющих тестов и их расширения для обнаружения неисправностей класса ОС, что усложняет процедуру синтеза тестов, трудоемкость которой составляет ~ , где – число состояний автоматной модели узла.
13. Разработаны методы синтеза легко тестируемых ИВС и построения проверяющих экспериментов с использованием циклических отличительных последовательностей, формируемых из отличительных символов автоматной модели ячейки сети и которые позволяют формализовать и упростить процедуру проверки исправности всей сети, определены необходимые условия существования в данной ИВС циклических отличительных последовательностей.
14. Разработаны методы и процедуры построения диагностического эксперимента на основе использования характеристических символов для класса ИВС без наблюдаемых выходов, не имеющих отличительных символов. Определена верхняя граница длины полной проверяющей последовательности . Отмечено, что увеличение ее длины в предложенном методе по сравнению с существующими, является платой за значительное расширение класса обнаруживаемых неисправностей.
15. Разработаны методы и процедуры синтеза одномерных и двумерных ИВС с распределенным управлением реконфигурацией с встроенной в ФМ системой внутренней коммутации вход - выходных шин ФМ. Определены и обоснованы нижние и верхние границы длины маршрутов в двумерной ИВС, которые использовались для выбора альтернативного варианта реконфигурации при разработке алгоритмической процедуры замены неисправного ФМ резервным и восстановления работоспособности ИВС, что исключает необходимость решения оптимизационной задачи выбора наилучшего варианта реконфигурации путем перебора и сравнения всех альтернативных маршрутов обработки данных в ИВС.
16. Концептуальные основы построения ДИ-ИС, разработанные модели, методы и математический инструментарий использовались для решения практических задач повышения отказоустойчивости МПСУ установкой Рост-4 для выращивания крупногабаритных монокристаллов в опытном производстве ИСМА НАН Украины г. Харьков. Проведены эксплуатационные испытания структуры МПСУ с одним резервным процессором и централизованным управлением реконфигурацией HOST компьютером, легко тестируемых модулей встроенного диагностирования: генераторов тестов, счетчиков, таймеров, синдромно-сигнатурных анализаторов. Решение задачи управления диспетчеризацией режимами диагностирования и функционирования выполнялось специализированной программой HOST компьютера, что позволило сократить время профилактического обслуживания МПСУ и повысить отказоустойчивость функционирования опытной установки при воздействии внешних электромагнитных возмущений. Новизна внедренных научно-технических решений подтверждена тремя патентами Украины.

СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ

1. Царегородцев А.В. Методы синтеза защищенных телекоммуникационных систем на стадии концептуального проектирования (диссертация). Москва, 2004 г.
2. Галкин В.А., Григорьев Ю.А. Телекоммуникации и сети: Учеб. пособие для вузов. – М.: Изд–во МГТУ им. Н.Э. Баумана, 2003. – 608 с.
3. Котух В.Г., Мирошник М.А. Разработка методов повышения отказоустойчивости и надежности функционирования компонентов телекоммуникационных систем и сетей. – Радиотехника: Всеукр. межвед. науч.–техн. сб., 2011. – Вып.164. – стр.190–197.
4. Гилл Н. Введение в теорию конечных автоматов / Гилл Н. – М.: Наука, 1966. – 272 с.
5. Романенко В.Д. Адаптивное управление технологическими процессами на базе микроЭВМ / В. Д. Романенко, Б. В. Игнатенко. – К: Вища школа, 1990. – 334 с.
6. Дербунович Л.В. Диагностические модели реактивных многопроцессорных систем управления / Л. В. Дербунович, В. С. Суздаль, А. В. Соболев, В. В. Некрасов // Информаційно-керуючі системи на залізному транспорті. – 2004. – №4,5 (48,49). – С. 108–109.
7. Программируемые контроллеры повышенной надежности для управления автоматическими линиями. Обзор / [И. Н. Миков, Л. В. Дербунович, В. В. Нешвеев, Е. А. Мечникова]. – М.: НИИмаш, 1984. – 52 с.
8. Основы технической диагностики. / [Под ред. П.П. Пархоменко, Е.С. Согомонян]. – М.: Энергия, 1981. – 320 с.
9. Бережная М. А. Отказоустойчивые системы управления на основе микроконтроллеров / М. А. Бережная, Л. В. Дербунович, В. С. Суздаль // Вестник Национального технического университета «Харьковский политехнический институт». – 2002. – Т.1, Вып. 12. – С. 218–220.
10. Дербунович Л. В. Отказоустойчивые микроконтроллеры на основе сигнатурного мониторинга / Л. В. Дербунович, В. С. Суздаль, И. И. Тавровский, И. Н. Темников // Інформаційно-керуючі системи на залізничному транспорті. – 2002. – №4, 5 (37). – С. 71–73.
11. Колмогоров А. Н. ε-энтропия и ε-емкость в метрических пространствах / Колмогоров А.Н., Тихомиров В.Н // Успехи математических наук. – 1959 – Т. 14, №2. – С. 47–76.
12. Барашко А. С. Моделирование и тестирование дискретных устройств / А. С. Барашко, Ю. А. Скобцов Ю, Д. В. Сперанский. – К.: Наук. думка, 1992. – 288 с.
13. Беннетс Р. Дж. Проектирование тестопригодных логических схем / Р. Дж. Беннетс. – М.: Радио и связь, 1990. – 176 с.
14. Горяшко А. П. Синтез диагностируемых схем вычислительных устройств / А. П. Горяшко. – М.: Наука, 1987. – 288 с.
15. Льюнг Л. Идентификация систем. Теория для пользователя. / Л. Льюнг.– М.: Наука, 1991.– 432 с.
16. Твердохлебов В. А. Логические эксперименты с автоматами / В. А. Твердохлебов. – Изд-во Сарат. ун-ва, 1984. – 184 с.
17. Тоценко В. Г. Алгоритмы технического диагностирования дискретных устройств / В. Г. Тоценко. – М.: Радио и связь, 1985. – 240 с.
18. Ярмолик В. Н. Контроль и диагностика цифровых узлов ЭВМ / В. Н. Ярмолик.– Минск: Наука и техника, 1988. –240 с.
19. Проектирование и диагностика компьютерных систем и сетей / [М.Ф. Бондаренко, Г.Ф. Кривуля, Г.Ф. Рябцов и др.]. – К.: НМЦ ВО, 2000. – 306 с.
20. Дербунович Л. В. Генераторы тестов на клеточных автоматах для схем встроенного самотестирования / Л. В. Дербунович, Ю. А. Горлов, Д. А. Татаренко // Вестник Национального технического университета «Харьковский политехнический институт»: Сборник научных трудов, Тематический выпуск «Автоматика и приборостроение». – 2003. – №21 – С. 59–62.
21. Крафт Х. Геометрические методы в теории инвариантов / Х. Крафт. – М.: Мир, 1987. – 312 с.
22. Мироновский Л. А. Функциональное диагностирование динамических систем / Л. А. Мироновский. – Спб, 1998. – 256 с.
23. Спрингер Т. Теория инвариантов / Т. Спрингер. – М.: Мир, 1981. – 191 с.
24. Francis B. A. Course in H-control theory. Lecture notes in control and information sciences / В. А. Francis. – Berlin: Springer Verlag, 1987. – V.88. – 156 p.
25. Глазунов Л. П. Проектирование технических систем диагностирования / Л. П. Глазунов, А. Н. Смирнов. – Л.: Энергоатомиздат, 1982. – 168 с.
26. Игнатьев М. Б. Контроль и диагностика робототехнических систем / М. Б. Игнатьев, Л. А. Мироновский, В. С. Юдович. – Л.: ЛИАП, 1985 – 165 с.
27. Fault diagnosis in dynamic systems. Theory and application / R. J. Patton, P. M. Frank, R. N. Clark. – Prentice Hall, 1989. – 594 p.
28. Корноушенко Е. К. Передаточные числа и диагностирование линейных систем / Е. К. Корноушенко, Н. К. Пылаев // ДАН СССР. – 1988. – Т. 300, №3. – С. 559–561.
29. Жирабок А. Н. Поиск дефектов нелинейных системах методом функционального диагностирования на основе обобщенных алгебраических инвариантов / А. Н. Жирабок // Автоматика и телемеханика – 1994. – №7 – С. 160–169.
30. Шумский А. Е. Поиск дефектов в нелинейных системах методом функционального диагностирования на основе алгебраических инвариантов / А. Е. Шумский // Электронное моделирование – 1992. – №1. – С. 70–76.
31. Basseville M. Detecting changes in signal and systems A-survey / M. Basseville // Automatica. – 1988. – V. 24, №3. – P. 309–326.
32. Frank P. M. Advances in observer-based fault diagnosis in dynamic systems / P. M. Frank // Електронное моделирование. – 1995. – V.5, №2 – p. 5–25.
33. Frank P. M. Fault diagnosis in dynamic systems using analytical and knowledge-based redundancy. A survey and some new results / P. M. Frank // Automatica. – 1990. – V.26, №3. – P. 459–474.
34. Gertler J. Of model-based failure detection and isolation in complex plants / J. Gertler, J.Survey // IEEE Control Syst. Mag. – 1988. – №3. – P. 3–11.
35. Hastings R., Joyce B. Purity: Fast Detection of memory leans and access errors // Proc. Winter Usenix Conf. — 1992. — pp. 125-136.
36. Saxena N., McCluskey. Control-Flow Checking Using Watchdog Assist and Extended-Precision Checksums // IEEE Trans. On Computer. — 1990. — Vol. 39, №4. — pp. 554-558.
37. Wilken K. An Optimal Graph-Construction Approach to Placing Signature Monitoring // IEEE Trans. On Computer. — 1993. — Vol. 42, №11. — pp. 1372-1381.
38. Nahmuk Oh., Mitra S., McCluskey. Error Detection by Diverse Data and Duplicated Instructions // IEEE Trans. On Computer. — 2002. — Vol. 51, №2. — рр. 180-198.
39. Wilken K., Kong T. Concurrent Detection of Software and Hardware Data-Access Faults // IEEE Trans. On Computer. — 1997. — Vol. 46, №4. — pp. 412-424.
40. Аладьев В.З. Вопросы математической теории классических однородных структур / Аладьев В.З., Хунт Ю.Я., Шишаков М.Л. – Гомель: BELGUT Press, 1996. – 151 с.
41 Евреинов Э.В. Однородные вычислительные системы, структуры и среды / Евреинова Э.В. – М.: Радио и связь, 1981. – 208 с.
42. Nandi S. Theory and Applications of Cellular Automata in Cryptography
/ S. Nandi, B. Kar, P. Chaudhuri // IEEE Trans. Computers. – Dec. 1994. – vol. 43, no. 12. – Р. 1346 – 1357.
43. Zhuo Ling. High-performance Designs for Linear Algebra on Reconfigurable Hardware // IEEE Trans. Computers. –2008. – vol. 57. – Р. 1057 – 1071.
44. Прангишвили И.В. Параллельные вычислительные системы с общим управлением / Прангшвили И.В., Виленкин С.Я., Медведев И.Л. – М.: Энергоатомиздат, 1983. – 312 с.
45. Глушков В.М. Кибернетика, вычислительная техника, информатика. Избранные труды. В 3-х т. / Глушков В.М. – Киев: Наук. думка, 1990. – 272 с.
46. Палагин А.В. Реконфигурируемые вычислительные системы /
А.В. Палагин, В.Н. Опанасенко. – К.: Просвіта, 2006. – 295 с.
47. Барский А.Б. Параллельные информационные технологии: учебное пособие / Барский А.Б. – М.: ИНТУИТ, 2007. – 503 с.
48. Тарасенко В.П. Реалізація основних арифметичних операцій над залишками на одновимірних каскадах конструктивних модулів / В.П. Тарасенко, О.К. Тесленко // Управляющие системы и машины. – 2003. – №3. – С. 29–36
49. Прангишвили И.В. Энтропийные и другие системные закономерности, вопросы управления сложными системами / Прангишвили И.В. – М.: Наука, 2003. – 428 с.
50. Тоффоли Т. Машины клеточных автоматов / Т. Тоффоли, Н. Марголус. – М.: Мир, 1991. – 280 с.
51. Королева Я. Однородные вычислительные сети с реконфигурируемой структурой / Яна Королева, Марина Бережная // Технология приборостроения. – 2008. – №1. – С. 44 – 48.
52. Королева Я.Ю. Синтез проверяющих тестов для однородных схем
/ Я.Ю. Королева, М.А.Бережная, Четвериков Г.Г. // Научно-технический журнал. Бионика Интеллекта. – Харьков. – 2009. – № 2(71). – С. 123 – 127.
53. Королева Я.Ю. Диагностические эксперименты в системах защиты информации на сетях клеточных автоматов / М.А. Бережная, Я.Ю. Королева, И.В. Гормакова // Информационно-управляющие системы на железнодорожном транспорте. – 2009. – №4. – С. 142 – 145.
54. Генераторы тестов для встроенного самотестирования дискретных устройств / М.А. Бережная, Л.В. Дербунович, Д.А. Татаренко [та ін.] // Вестник Национального технического университета «Харьковский политехнический институт». Проблемы автоматизированного электропривода. Серия “Электротехника, электроника и электропривод”. – Харьков – 2005. – №15. – С. 218 – 221.
55. Однородные сети с распределенной системой реконфигураций / Я.Ю. Королева, М.А.Бережная, Л.В. Дербунович // Вісник Національного технічного університету „Харківський політехнічний інститут”. Збірник наукових праць. Тематичний випуск: Автоматика та приладобудування. – Харків: НТУ „ХПІ”. – 2010. – №20. – С. 71-78.
56. Применение сетей клеточных автоматов в криптографических системах / М.А.Бережная, Я.Ю. Королева, И.В. Гормакова // Тези доповідей другої міжнародної науково-практичної конференції «Методи та засоби кодування» 22-24 квітня Вінниця. – 2009. – С.94-95.
57. Kohavi Z. Design of sequential machines with fault detection capabilities / Z.Kohavi, P.Lavalee // IEEE Trans. Electr. Comput. – 1976. – EC – I6. – H 8. – p.475-484.
58. Wolfram S. Computation theory of cellular automata / S. Wolfram // Communications in Mathematical Physics. – 1984. – Vol. 93. – P. 15 – 57.
59. Reddy S.M. A testable design of iterative logic array / S.M. Reddy // IEEE Trans. Comput. – 1981. – EC – 30, №11. – P. 833-841.
60. Dormann S. Modeling of self-organized a vascular tumour growth with a hybrid cellular automata / S. Dormann, A. Deutsch // In Silico Biology 2. – 2002.
61. Dias F.G. Truth-table verification of an iterative logic arrays / F.G. Dias // IEEE Trans. Comput. – 1976. – EC – 25, №6. – P. 605-613.
62. А.С. 800922 (СССР) Комбинационный сумматор / Л.В. Дербунович,
В.В. Шатило / Опубл. в Б.И. №4. – 1981.
63. Наумов Л. Клеточные автоматы. Реализация и эксперименты
/ Л. Наумов, А. Шалыто // Открытые системы. Мир ПК. – 2003. – №8. – С. 71–78.
64. Neebel D J., Kime C.R. Cellular automata for weighted random pattern generation // IEEE Trans. Computers. – 1997. – Vol. 46. – № 11. – P. 1219–1228.
65. Синтез проверяющих тестов для сетей клеточных автоматов/
Л.В. Дербунович, М.А.Бережная, Я.Ю. Королева, [та ін.] // Информационно-управляющие системы на железнодорожном транспорте. – 2008. – № 5 – 6. –
С. 57–65.
66. Taher Mohamed. Virtual Configuration Management: A Technique for Partcal Runtime Reconfiguration / Mohamed Taher // IEEE Trans. Computers. – 2009. – Vol. 58. – № 10. – P. 1398 – 1410.
67. Martin O. Algebraic properties of cellular automata / O. Martin, A.M. Odlyzko, S. Wolfram // Communications in Mathematical Physics. – 1984. – Vol. 93. – Р. 219.
68. Cheng W.T. Multiple fault-detection in iterative logic arrays / W.T. Cheng, J.N. Patel // Proc. 1985 Int. Test Conference. – Nov. 1985. – P. 493 – 499.
69. Стасюк A.И. Однородные многофункциональные матричные процессоры / Стасюк A.И. – К.: 1983. – 39 с. – (Препринт / АН УССР, ин-т электродинамики, № 351).
70. Das A.K. Efficient characterization of cellular automata / A.K. Das // IEE Proc. Part (E). – 1990. – Vol. 137. – №1. – Р. 81 – 87.
71. Wolfram S. Cellular Automata as Models of Complexity / S. Wolfram // Nature. – 1984. – Vol. 311, no. 419.
72. Тарасенко В.П. Модель сети передачи данных, функционирующей в условиях информационного противоборства при наличии одиночных угроз в канале передачи данных / В.П. Тарасенко, С.М. Коваль // Электроное моделирование. – 2001. – №3. – С. 33 – 39.
73. Диагностические модели многопроцессорных систем управления
/ Л.В. Дербунович, В.С. Суздаль, М.А. Бережная [та ін.] // Інформаційно - керуючі системи на залізничному транспорті. – 2004. – №6 (50). – С. 33 – 37.
74. Диагностические модели реактивных многопроцессорных систем управления / Л.В. Дербунович, В.С. Суздаль, А.В. Соболев, [та ін.] // Інформаційно - керуючі системи на залізничному транспорті. – 2004. – №4,5 (48,49). – С. 108 – 109.
75. Rosenberg A.L. ‘Fault-Tolerant Interconnection Networks: A Graph-Theoretic Approach’ / A.L. Rosenberg // Proc. Ninth Workshop Graph-Theoretic Concepts in Computer Science. – 1983. – Р. 286 – 297.
76. N. Alon. Explicit Construction of Linear Sized Tolerant Networks / N. Alon, F. Chung // Discrete Math. – 1988. – Vol. 72. – P. 15 – 19.
77. C. Kaklamanis. Asymptotically Tight Bounds for Computing with Faulty Arrays of Processors (extended abstract) / C. Kaklamanis, A.R. Karlin // Proc. IEEE Symp. Foundations of Computer Science. – 1990. – P. 285 – 296.
78. Rosenberg A.L. ‘The Diogenes Approach to Testable Fault-Tolerant Arrays of Processors’ / A.L. Rosenberg // IEEE Trans. Computers. – 1983. – Vol. 32. – P. 480 – 489.
79. Hastad J. ‘Fast Computation Using Faulty Hypercubes (extended abstract)’ / J. Hastad, T.Leighton, and M. Newman // Proc. ACM Symp. Theory of Computing. – 1989. – Р. 251 – 263.
80. M. Ajtai, N. Fault Tolerant Graphs, Perfect Hash Functions and Disjoint Paths / M. Ajtai, N. Alon // Proc. IEEE Symp. Foundations of Computer Science. – 1992. – p. 693 – 702.
81. F.T. Leighton, Introduction to Parallel Algorithms and Architectures: Arrays, Trees, Hypercubes. San Mateo, Cailf.: Morgan-Kaufmann. – 1992.
82. Согомонян Е.С. Самопроверяемые устройства и отказоустойчивые системы / Е.С. Согомонян, Е.В.Слабаков. – М.: Радио и связь, 1989. – 208 с.
83. Глазунов Л.П. Проектирование технических систем диагностирования / Л.П. Глазунов, А.Н. Смирнов. – Л.: Энергоатомиздат, 1982. – 168 с.
84. Согомонян Е.С. Достоверность самотестирования с использованием средств функционального диагностирования / Е.С. Согомонян // Автоматика и телемеханика. – 1988. – №10. – С. 154 – 160.
85. Литиков И.П. Тестово-функциональное диагностирование цифровых устройств и систем / И.П. Литиков, Е.С. Согомонян // Автоматика и телемеханика. – 1985. – № 3. – С. 111–121.
86. Техническая диагностика. Общие положения о принципах разработки систем диагностирования: ГОСТ 20417-75. – М.: Изд-во стандартов, 1979.
87. Aitken R.C. Nanometer technology effects on fault models for IC testing / R.C. Aitken // Computer. – 1999. – № 11. – P. 46 – 51.
88. Бережная М.А. Диагностическая инфраструктура с интеллектуальными свойствами в реконфигурируемых мультипроцессорных системах / М.А.Бережная, Л.В. Дербунович, Я.Ю. Королева // Тези доповідей другої міжнародної науково-практичної конференції «Інформаційні технології та комп’ютерна техніка» 19-21 травня Вінниця. – 2010. – С.344 – 345.
89. Тоценко В.Г. Алгоритмы технического диагностирования дискретных устройств / В.Г. Тоценко. – М.: Радио и связь. – 1983. –240 с.
90. Hennie E.G. Fault detection experiments for sequential circuits / E.G. Hennie // Proceeding of Fifth Symposium on Switching Circuit Theory and Logical Design – 1964. – Р. 95 – 110.
91. Bennets R.G. Design of testable logic circuits / BennetsR.G. – Addison –Wesley Publishing Comp., 1984. – 162 p.
92. Визирев И.С. Синтез управляющих устройств в однородных средах
/ Визирев И.С, Гузик В.Ф. и др. – М.: Наука, 1984. – 166 с.
93. Cheng W.T. Testing in two-dimensional iterative logic arrays / W.T. Cheng, J.N. Patel // Proc. 16-th Annu Int. Symposium on Fault-Tolerant Computing sistems, Vienna. – 1986. – P. 76 – 81.
94. Parthasarathy R. A testable design of iterative logic array/ R. Parthasarathy, S.M. Reddy // IEEE Trans. Comput. – 1981. – № 11. – P. 833 – 841.
95. Shen J.P. The design of easily testable VLSI array multipliers / J.P. Shen, F.J.Ferguson // IEEE Trans. Comput. – 1984. – № 6. – Р. 554 – 560.
96. Соловьев В.В. Проектирование цифровых систем на основе программируемых логических интегральных схем / Соловьев В.В. – М.: Горячая линия – Телеком, – 2004. – 230 с.
97. Мироновский Л.А. Функциональное диагностирование динамических систем (обзор) / Л.А. Мироновский // Автоматика и телемеханика. – 1980. – №8. – c. 96-121.
98. Мироновский Л.А. Тестовый контроль передаточных функций стационарных обьектов / Л.А. Мироновский // Изв. вузов. Сер.: Приборостроение. – 1989. – №10 – c. 22–26.
99. Дербунович Л.В. Отказоустойчивые микроконтроллеры на основе сигнатурного мониторинга / Л. В. Дербунович, В. С. Суздаль, И. И. Тавровский, И. Н. Темников // Інформаційно-керуючі системи на залізничному транспорті. – 2002. – №4, 5 (37). – с. 71–73.
100. Дербунович Л. В. Тестирование последовательностных схем встроенными генераторами детерминированных тестов / Л. В. Дербунович, А. В. Клименко, Д. А. Татаренко // Вестник Национального технического университета «Харьковский политехнический институт»: Сборник научных трудов. Тематический выпуск «Автоматика и приборостроение». – 2005. – №38. – с. 36-39.
101. Lu D.J. Watchdog Processors and structural integrity checking // IEEE Trans. On Computer. – 1982. – Vol. C-31, №7. – pp. 681-685.
102. Namjoo M. CERBERUS-16: An architecture for a general-purpose watchdog processor // Proc. 13-th Fault-Tolerant Computing Symp. (FTCS-13). — Milan, Italy, June 1983. – pp. 216-219.
103. Golomb W. S. Shift register sequences. – Laguna Hills, CA: Aegean Park Press, 1982. – 341 p.
104. Kuhl J. G., Raddy S. M. Fault-diagnosis in fully distributed systems // Proc. 11-th Ann. Int. Symp. on Fault Tolerant Comput. – June, 1981. – pp. 100-105.
105. Armstrong J. R., Gray F. G. Faul diagnosis in a Boolean n Cube Array of Multiprocessors // IEEE Trans. on Comput. – Aug., 1981. – Vol. 30. – pp. 587-590.
106. Dahbura A. T., Masson G. M. A practical variation of the O(n2.5) fault diagnosis algorithm // Proc. Symp. on Fault Tolerant Comp., IEEE Computer Society Publications. – June, 1984. – pp. 428-433.
107. Ярмола Е. А., Дербунович Л. В., Войтенко М. С. Метод динамического размещения контрольных точек в управляющих программах микроконтроллеров // Вестник Национального технического университета "Харьковский политехнический институт". — Харьков: НТУ "ХПИ", 2005. — №17. — с. 100-103.
108. Sillivan G. A polynomial time algorithm for fault diagnosability // Proc. 25th ann. Symp. on Foundations of Computer Science, IEEE Computer Society Publications. — Oct., 1984. — p. 148-156.
109. Dahbura A. T., Sabnani K. K. The comparation approach to multiprocessor fault diagnosis // Proc. 15th ann. Inter. Symp. on Fault Tolerant Comp., IEEE Computer Society Publications. — June, 1985. — p. 260-265.
110. Горелов О. И., Плотников Е. В. Анализ степени диагностируемости открытых вычислительных сетей // Автоматика и вычислительная техника. — М., 1983. — №6. — c. 61-66.
111. Романкевич А. М., Карачун Л. Ф., Романкевич В. А. Графологические модели поведения отказоустойчивой многопроцессорной системы // Электронное моделирование. — М., 2001. — Т. 23, №1. — c. 102 111.
112. Lai P. L., Tan J., Tsai C. H., Hsu L. H. The Diagnosability of the Matching Composition Network under the Comparison Diagnosis Model // IEEE Trans. on Comput. — Aug., 2004. — Vol. 53, №8. — p. 1064-1069.
113. Malela S., Masson G. M. Diagnosis without repair for hybrid fault situation // IEEE Trans. on Comput. — June, 1980. — Vol. C-29. — P. 461 470.
114. Дербунович Л. В. Диагностические модели реактивных многопроцессорных систем управления / Л. В. Дербунович, В. С. Суздаль, А. В. Соболев, В. В. Некрасов // Информаційно-керуючі системи на залізному транспорті. — 2004. — №4,5 (48,49). — c. 108–109.
115. Мироновский Л. А. Функциональное диагностирование линейных динамических систем / Л. А. Мироновский // Автоматика и телемеханика. – 1979. – №8. – c. 120–128.
116. Мироновский Л.А. Функциональное диагностирование нелинейных динамических объектов / Л.А. Мироновский // Автоматика и телемеханика. – 1989. – №6 – c. 150–157.
117. Егоров А. Н. Использование нулей динамических систем в задачах технической диагностики / Егоров А. Н., Мироновский Л. А. // Электронное моделирование, 1996. – №6. – c. 34–42.
118. Лапин С. В. Отимизация по емкости проекционных методов аппроксимации систем / С. В. Лапин. – М.: Изд-во МГТУ им. Н. Э. Баумана, 1995. – 224 с.
119. Лапин С. В. Теория матричных операторов и ее приложение к задачам автоматического управления / С. В. Лапин, Н. Д. Егупов // – М.: Изд-во МГТУ им. Н. Э. Баумана. – 1997. – 496 с.
120. Твердохлебов В. А. Геометрические образы законов функционирования автоматов / В. А. Твердохлебов. - Саратов: Изд-во «Научная книга», 2008. - 183 с.
121. JTAG Boundary Scan Architecture Standard Proposal, Version 2.0. Technical Sub–Committee of the Joint Test Action Group. – March 30, 1988.
122. Aitken R. C. Nanometer technology effects on fault models for IC testing // Computer. – 1999. –№ 11. – p. 46–51 p.
123 Gloster C. S. Boundary Scan with built-in Self-test // IEEE Design and Test of Computers. — 1989. — №1. — p. 36-44.
124. Bardell P. H., McAnney W. H., Savir J. Built-in Test for VLSI: Pseudorandom techniques. – New York: John Wiley & Sons, 1987. – 274 p.
125. Генератор псевдослучайных чисел: А.с. 1347167 CCCР, МКИ H03 K 3/84 / Л. В. Дербунович, В. Ф. Бохан, И. Г. Либерг (CCCР). – №4022981/21; Заявлено 07.02.86; Опубл. 23.10.87, Бюл. № 39. – 1с.
126. Fredricksen H. A Survey of full length nonlinear shift register cycle algorithms // SIAM Review. – 1982. – Vol. 24, № 2. – P. 195–221.
127. Srinivasan R., Gupta S.K., Breuer M.A.. Novel test pattern generators for pseudorandom testing // IEEE Trans. Comput. – 2000. – Vol. C-49, № 11. - P. 1228–1240.
128. Tang D.T., Chen C.L. Logic test pattern generation using linear codes // IEEE Trans. Comput. – 1984. – Vol. C-33, № 9. – P. 845–850.
129. Pries W., Thanailakis A., Card H.C. Group properties of cellular automata and VLSI applications // IEEE Trans. Comput. – 1986. – Vol. C-35. – P. 1013–1024.
130. Hortensius P.D., McLeod R.D., Pries W., Miller D.M., Card H.C. Cellular automata – based pseudorandom number generators for built – in self-test // IEEE Trans. CAD. – 1989. - № 8 – P. 842–859.
131. Gloster C.R., Borglez F. Boundary scan with cellular - based built - in self-test // Proc. Intern. Test Conference. - 1988. – P. 138–145.
132. Gortensius P.D., Card H.C., McLeod R.D., Pries W. Importance sampling for using computers using one – dimensional cellular automata // IEEE Trans. Comput. - 1989. – Vol. C-38, № 6. – P. 769–774.
133. Gortensius P.D., Card H.C., McLeod R.D. Parallel random number generation for VLSI systems using cellular automata. // IEEE Trans. Comput. – 1989. – Vol. C-38, № 10. – P. 1466–1473.
134. Neebel D.J., Kime C.R. Cellular automata for weighted random pattern generation // IEEE Trans. Comput. – 1997. – Vol. C-46, № 11. – P. 1219–1228.
135. Hortensius P.D., McLeod R.D., Card H.C. Cellular automata-based signature analysis for built-in self-test // IEEE Trans. Comput. – 1990. – Vol. C-39, № 10.
136. Das A.K., Pandey M., Gupta A., Pal Chaudhuri P. Built – in self–test structures around cellular automata and counters // IEEE Proc. Part (E). – 1990. – Vol. 137, № 7. – P. 268–276.
137. Savir J. Syndrome – testable design of combinatorial circuits // IEEE Trans. Comput. – 1980. – Vol. C-29, № 6. – P. 442–451.
138. Barzilai Z. at al. VLSI self-testing based on syndrome technique // Proc. IEEE Test Conference. – 1982. – P. 102–109.
139 . Miller D.M., Muzio J.C. Spectral fault signatures for internally unate combinatorial networks // IEEE Trans. Comput. – 1983. – Vol. C-32, № 11. – p. 1058-1062.
140. Susskind A.K. Testing for verifying Walsh coefficients // IEEE Trans. Comput. – 1983. – Vol. C-32, № 2. – P. 198– 201.
141. David R. Signature of multi-output circuits // Proc. 14-th Annu. Int. Symp. Fault-Tolerant Computing. - 1984. – P. 366–371.
142. Ярмолик В.Н. Контроль и диагностика цифровых узлов ЭВМ. – Минск: Наука и техника, 1988. – 240 с.
143. Barzilai Z. et al. Exhaustive generation of bit patterns with applications to VLSI self–testing // IEEE Trans. Comput. – 1983. – Vol. C-32, № 2. – P. 190–194.
144. Pradhan D.K. Sequential network design using extra inputs for fault detection // IEEE Trans. Comput. – 1983. – Vol. C-32, № 3. – P. 319–323.
145. Ralston A. De Bruijn sequences – a model example of interaction of discrete mathematics and computer science // Am. Math. Monthly. – 1982. – Vol. 55, №3. – P. 131–143.
146. Blelloch G.E. NESL: a nested data-parallel language // Technical report CMU CS–94, 1994.
147. Raimund Ubar. Test synthesis with alternative graphs // IEEE Design & Test of Computers. – 1996. – №1. – P. 48–57.
148. Foote T.G. at al. Testing the 500-MHz IBM S/390 Microprocessor // IEEE Design and Test of Computers. - 1998. - №3. - P. 83-89.
149. Sogomonyan E.S., Goessel M. Design of self-testing and on-line fault detection combinatorial circuits with weakly independent outputs // Electronic Testing: Theory and Applications. – 1993. – № 4. – P. 267–281.
151. Литиков И.П., Согомонян Е.С. Тестово - функциональное диагностирование цифровых устройств и систем // Автоматика и телемеханика. – М., 1985. – № 3. – С. 111–121.
152. Kim K. at al. On using signature registers as pseudo-random pattern generators in built-in self-testing // IEEE Trans. On Computer-Aided Design. – 1988. – Vol. 7, № 8. – P. 919–928.
153. Чипулис В.П. Построение тестов микропроцессоров. Проверка адресации. Проверка реакций на внутреннее состояние и переходов // Автоматика и телемеханика. – М., 1987. - № 3. - С. 153-164.
154. Sharshunov S.G. Functional test derivation for RISC Microprocessors // Proc of East-West DN Conference. - Ukraine, Sept., 2003. - P. 32-36.
155. Зеленская Е.А., Литовченко Н.Ф, Сабадаш И.Г. Логическое моделирование и построение проверяющих тестов для БИС микропроцессорного набора // Электронное моделирование. – М., 1980. - №4. - С. 66-71.
156. Кулинаускас А.А., Ясиневичене Г.М. Метод построения функционально - структурного теста для микропроцессорных БИС // Тезисы докладов V Всесоюзного совещания по технической диагностике. - М., 1982. - С. 120-121.
157. Thatte S.M., Abraham J.A. Test Generation for Microprocessors // IEEE Trans. on Computers. - 1980. - Vol. 29, № 6. - Р. 429-441.
158. Чипулис В.П., Шаршунов С.Г. Построение тестов микропроцессоров. Проверка хранения и передачи данных // Автоматика и телемеханика. – М., 1986. - №1. - С. 139-150.
159. Шаршунов С.Г. Построение функциональных тестов микропроцессоров: Препр. / ДВНЦ АН СССР: Ин-т автоматики и процессов управления. – Владивосток, 1983. - 60 с.
160. Fridman А.D., Menon P.R. Fault detection in digital circuits. – New Jersey: Pretice Hall, 1971, 220 P.
161. Дербунович Л. В. Редукция диагностических автоматных моделей динамических систем / Л. В. Дербунович, В. С. Cуздаль, Ю. М. Епифанов, Ю. С. Козьмин // Сборник научных трудов: "Вестник национального технического университета "ХПИ". Тематический выпуск "Автоматика и приборостроение". – 2009. – №23. – С. 71–76.
162. Praveen N. Robust concurrent online testing of network-on-chip-based SoCs. / N. Praveen, S. Bhojwani, S. Rabi, N. Maharatha //IEEE Transactions on VLSI Systems. – 2008. – Vol. 16, № 9, pp. – P. 1199–1209.
163. Мирошник М.А Решение задач диспетчеризации в распределенных телекоммуникационных системах. / В.Г. Котух, Мирошник М.А, С.Н. Селевко // РАДІОТЕХНІКА: Всеукр. межвед. науч.-техн. сб. 2011. Вып. 169. С. 139–152.
164 Мирошник М.А., Котух В.Г. Разработка методов повышения отказоустойчивости и надежности функционирования компонентов телекоммуникационных систем и сетей. / РАДІОТЕХНІКА: Всеукр. межвед. науч.-техн. сб. 2011. Вып. 164. С. 190–197.
165. Мирошник М.А. Подход к проектированию компьютерных систем с интеллектуальной диагностической инфраструктурой. / С.Г. Карпенко, М.А. Ковалева, С.В. Панченко// Інформаційно – керуючі системи на залізничному транспорті. – 2011. – №6. – С. 51-59.
166. Мирошник М.А Методы планирования ресурсов в распределенных компьютерных системах. / В.Г. Котух, Мирошник М.А, С.Н. Селевко // РАДІОТЕХНІКА: Всеукр. межвед. науч.-техн. сб. 2012. Вып. 171. С. 10.
163. Мирошник М.А. Решение задач диспетчеризации в распределенных телекоммуникационных системах. / М.А. Мирошник, В.Г. Котух, С.Н. Селевко // РАДІОТЕХНІКА: Всеукр. межвед. науч.-техн. сб. 2011. Вып. 169. С. 139–152.,
167. Мирошник М.А. Отказоустойчивость распределенных телекоммуникационных систем. / М.А. Мирошник, В.Г. Котух, С.Н. Селевко // Радіотехніка: Всеукр. межвед. науч.-техн. сб. 2011. Вып. 168. С. 51–55.,
168. Мирошник М.А. Методы повышения отказоустойчивости телекоммуникационных систем. / В.Г. Котух, М.А. Мирошник, Селевко С.Н. // Радіотехніка: Всеукр. межвед. науч.-техн. сб. 2011. Вып. 166. С. 259–268.,
169. Мирошник М.А. Развитие современных направлений цифровых телекоммуникационных систем и сетей. / В.Г. Котух, М.А. Мирошник, Селевко С.Н. // Радіотехніка: Всеукр. межвед. науч.-техн. сб. 2011. Вып. 165. С. 254–258.
170. Derbunovich L. Рseudoexhaustive tpg based on nonlinear feedback shift registers / L. Derbunovich, M. Berezhna, M. Rydhkova M, D. Tatarenko // Информационно-управляющие системы на железнодорожном транспорте. – 2005. – №5(55). – С. 54–58.
171. Вершинин О. Е. Применение микропроцессоров для автоматизации технологии процессов / О. Е. Вершинин. – Л.: Энергоатомиздат, 1986. – 208 с.
172. Ажогин В. В. Оптимальные системы цифрового управления технологическими процессами / В. В. Ажогин, В. И. Костюк // – К.: Техніка, 1982. – 170 с.
173. Ажогин В. В. Машинное проектирование оптимальных систем управления пространственно-распределенными динамическими объектами / В. В. Ажогин, М. З. Згуровский. – К.: Вища школа, 1985. – 170 с.
174. Hong S.J. Existence algorithms for Synchronizing /Distinguishing sequences//IEEE Trans. Comput. – I98I. – C–30. – N°3. –p.234-237.
175. Горяшко А. П. Проектирование легко тестируемых дискретных устройств: идеи, методы, реализация // Автоматика и телемеханика. – 1984. – № 7. – С. 5–35.
176. Уильяме Т.У. Проектирование контролепригодных устройств. /
Т.У. Уильяме, К.П. Паркер // – ТТИИЭР, 1983. – Т.71, №1, с.122-139.
177. Эндрюс Г. Теория разбиения. - М.: Наука, 1982. - 255 с.
178. Горяшко А.П. Синтез и проектирование легко тестируемых цифровых элементов и устройств. – Дисс. докт. тех. наук. - М. 1986. - 266 с.
179. Cheng K.T. Testing in two-dimensional iterative logic arrays. / K.T. Cheng, J.II. Patel // – Proc 16-th Annu Int. Symposium on Fault-Tolerant Computing sistems, Vienna, 1986, p.76-81.
180. Яловега А.Г. функциональный подход к генерированию контролирующих тестов для последовательностных схем // Вопросы радиоэлектроники. – Сер. ЭЗТ. – 1983. – Вып. 13. – С. 65-71.
181. Горяшко А.П. Логические схемы и реальные ограничения: методы синтеза, опенка сложности. – М.: Энергоиздат, 1982. - 184 с.
182. Рейнгольд Э. Комбинаторные алгоритмы. /. Э. Рейнгольд,
Ю. Нивергельт, Н. Део // – М.: Мир, 1980. – 476 с.
183. Gull P. Tour3 of graphs, digraphs and sequential machines// IEEE Trans. Comput. – 1980. – C–29. – N°I. – p.51–54.
184. Беличенко Т.П. Нахождение кратчайшей различающей последовательности для конечного автомата. – В кн.: Гибрид, вычислит, машины и комплексы. / Т.П. Беличенко, Г.И. Белов, Л.В. Дербунович // - К.: Наукова думка. – 1980. – Вып. 3. – С. 36-39.
185. Белов Г.И. Синтез контролепригодных дискретных устройств с элементами памяти. – 3 кн.: Техническая диагностика, эксплуатация управляющих и вычислительных машин. / Г.И. Белов, Л.В. Дербунович // – К.: Наукова думка, 1980. – С. 76-85.
186. Каширова Л.Ф. Построение контролируемых автоматов, ч. I, II // Автоматика и телемеханика. - 1983. - №11. – С. 141–146. - № 12. – С. 115-121.
187. Балашов Е.П. Проектирование процессорных модулей на основе интегральной элементно-технологической базы / Е.П. Балашов, B.Е. Кочетков, Д.В. Пузанков // Приборы и системы управления. – 1980. – № 9. – С. 14-17.
188. Cheng K.T. Current Directories in Automatic Test-Pattern Generation /
K.T. Cheng, A. Kristic // Computer. – 1999. – № 11. – P. 58–64.
189. Шаршунов С.Г. Построение тестов микропроцессоров. Общая модель Проверка обработки данных // Автоматика и телемеханика. – М., 1985. - № 11. - С. 145-155.
190. Virzi A. Finite element analysis of the thermal history for Czochralski growth of large diameter silicon single crystals // J. Crystal Growth. – 1989. –
Vol. 97, №1. - Р. 152-161.
191. Оксанич А.П. Метод контроля уровня расплава при выращивании структурно-совершенных монокристаллов кремния по методу Чохральского / А.П. Оксанич, С.Э. Притчин, А.С. Перваков // Радиоэлектроника и информатика. – Харьков, 2001. – №4(17). - С. 43-46.
192. Либерг И.Г. Методы и технические средства диагностирования полупроводниковых запоминающих устройств: Дис. канд. техн. наук: 05.13.05. – Харьков, 1985. - 320 с.
193. Tang D.T., Woo L.S. Exhaustive test pattern generation with constant weight vectors // IEEE Trans. Comput. – 1983. – Vol. C-32, № 9. – P. 1145–1150.
194. Kuhn D.R. Sources of Faibire in the public Switched Telephone Network // Computer. - 1997. - №4. - P. 31-36.
195. Тестовое диагностирование одномерных однородных структур /
Л.В. Дербунович, М.А. Бережная, Я.Ю. Королева, [та ін.] // Вісник НТУ „ХПІ”. – Харків. – 2008. – № 31. – С. 49 – 57.
196. Синтез проверяющих тестов для однородных структур на основе циклических отличительных последовательностей / Л.В. Дербунович, М.А.Бережная, Я.Ю. Королева, [та ін.] // Информационно-управляющие системы на железнодорожном транспорте. – 2008. – № 4(72). – С. 29 – 33.
197. Синтез проверяющих тестов для сетей клеточных автоматов с наблюдаемыми выходами / Я.Ю. Королева, М.А.Бережная, Замирец О.Н. [та ін.] // Технология приборостроения. – 20