Введение
1. Методологический базис функциональной стандартизации профилей протоколов информационного обмена в распределенных управляющих системах 22
1.1. Современные тенденции развития информационного обмена в распределенных управляющих системах 22
1.2. Базовые понятия методологии функциональной стандартизации 30
1.3. Особенности распределенной обработки информации 35
1.4. Проблемы безопасности в распределенных управляющих системах 36
1.5. Место методологии функциональной стандартизации протоколов информационного обмена в общей системе научных дисциплин 39
1.6 Структура методологического базиса функциональной стандартизации 47
1.6.1. Многоуровневая модель базиса функциональной стандартизации 47
1.6.2. Уровень архитектурных спецификаций профилей протоколов 49
1.6.3. Уровень базовых спецификаций профилей протоколов .50
1.7 Спецификация задач распределенной управляющей системы 53
Выводы по разделу 60
2. Теоретические основы синтеза профилей протоколов информационного обмена 62
2.1. Основные положения концепции построения распределенных
управляющих систем на основе профилей протоколов 62
2.2. Принцип построения функционального стандарта протоколов информационного обмена 75
2.3. Методы формального описания протоколов 82
2.4. Общие подходы к моделированию процессов в распределенной управляющей системе 86
2.4.1. Информационная модель 88
2.4.2. Функциональная модель 93
2.4.3. Модели управления доступом для распределенной управляющей системы 94
2.5. Основы синтеза профилей протоколов информационного обмена 120
2.5.1. Формирование требований к стандартам на протоколы информационного обмена 120
2.5.2. Принципы и методические аспекты формирования профилей протоколов информационного обмена 122
2.5.3. Методика формирования протокольных классов на примере службы обмена сообщениями 126
2.5.4. Методика выбора протокольных классов на основе нечетких множеств 138
Выводы по разделу 145
3. Основы обнаружения и коррекции столкновений процессов в реализациях профилей протоколов информационного обмена 148
3.1. Возникновение логических сбоев в профилях протоколов 148
3.2. Математические модели возникновения логических ошибок в реализациях профилях протоколов 150
3.2.1. Математическая модель возникновения логической ошибки типа "столкновение" 150
ошибки типа "неопределенность" 153
3.3. Методика обнаружения и коррекции столкновений в протоколах 156
3.4. Процедура проверки синтаксиса 165
Выводы по разделу 167
4. Аттестационное тестирование реализаций профилей протоколов информационного обмена 169
4.1. Методика аттестационного тестирования реализаций профилей протоколов информационного обмена 169
4.2. Методика анализа гарантированности реализаций 186
4.3; Методика анализа неопределенности данных испытаний 205
Выводы по разделу 228
5. Средства обработки протоколов информационного обмена 230
5.1. Основы взаимодействия в распределенной управляющей среде..230
5.1.1. Постановка задачи поиска в пространстве состояний 230
5.1.2. Определение управляющих решений на основе нечеткого отношения предпочтения 240
5.1.3. Функциональная архитектура рабочей станции администратора распределеннойуправляющей системы .246
5.1.4. Многокомпонентный межсетевой экран 250
5.2. Устройства обработки протоколов информационного обмена на стадии разработки 255
5.2.1. Устройство автоматического проектирования протоколов информационного обмена 255
5.2.2. Устройство анализа корректности и верификации протоколов информационного обмена 258
Выводы по разделу 264
6 . Моделирование процессов информационного обмена в распределенных управляющих системах 268
6.1. Оценка гарантированности на основе данных испытаний 268
6.2. Процедуры формирования профилей протоколов информационного обмена 274
6.3. Информационно-имитационная модель 280
6.3.1. Общий подход к моделированию процессов информационного обмена 283
6.3.2. Содержательная постановка задачи моделирования 290
6.3.3. Описание имитатионно-аналитической модели 296
6.3.4. Моделирование процессов информационного обмена на основе коррекции столкновений 304
6.3.5. Моделирование процессов информационного обмена в сравнении с протоколом Тандем 364
Выводы по разделу 369
Заключение 372
Литература 382
