Комплекс моделей анализа и реализации протоколов передачи систем телеобработки информации АСУ

СОДЕРЖАНИЕ
ВВЕДЕНИЕ
1. ПРОТОКОЛЫ ПЕРЕДАЧИ В СЕТЯХ ОБМЕНА. ИНФОРМАЦИЕЙ АСУ
1.1. Сети обмена информацией автоматизированных
систем переработки информации и управления .
1.2. Протоколы передачи в сетях обмена информацией
1.3. Критический анализ существующих подходов к исследованию и реализации протоколов передачи
1.4. Постановка задачи исследования.
Выводы к главе I .
2. МОДЕЛИ СИСТЕМНОГО АНАЛИЗА ПРОТОКОЛОВ ПЕРЕДАЧИ
2.1. Модель спецификации протокола
2.1.1. Абстрактная протокольная машина и концептуальная модель взаимодействия
2.1.2. Формализация протоколов средствами Есетей
2.2. Исследование эффективности процедур протоколов передачи
2.3. Верификация протоколов передачи .
2.4. Модель реализации .
2.4.1. Логические матрицы
2.4.2. Логические функции
2.5. Структура разработки ПО протоколов передачи
Выводы к главе 2
3. КОМПЛЕКС МОДЕЛЕЙ АНАЛИЗА И РЕАЛИЗАЦИИ ПРОТОКОЛОВ ПЕРЕДАЧИ.
3.1. Предикатное исчисление сетей Петри .
3.1.1. Основные определения
3.1.2. Подклассы сетей Петри
3.1.3. Основные свойства сетей Петри
3.2. Сведение Есетей к сетям Петри
3.2.1. Процедура перехода
3.2.2. Основные теоремы .
3.3. Переход от Есетевого описания к моделям имитации
3.4. Связь Есетей с логическими матрицами
Выводы к главе 3
4. РЕЗУЛЬТАТЫ ПРИМЕНЕНИЯ ПРЕДЛАГАЕМОГО КОМПЛЕКСА МОДЕЛЕЙ ДЛЯ АНАЛИЗА ДВОИЧНОСИНХРОННОГО МЕТОДА УПРАВЛЕНИЯ ЗВЕНОМ ДАННЫХ СЕТЕЙ ТЕЛЕОБРАБОТКИ ИНФОРМАЦИИ АСУ .
4.1. Формальное описание протокола ВС
с привлечением АПМ
4.1.1. Основные положения.
4.1.2. Передача информации первичной станцией
протокола
4.1.3. Прием информации вторичной станцией
протокола ВВС
4.2. Формализация протокола средствами Есетей
4.3. Анализ протокола ВВС на сетях Петри .
4.4. Исследование эффективности протокола ВС . Ц
4.5. Алгоритмы реализации протокола ВВС
Выводы к главе 4 .
ЗАКЛЮЧЕНИЕ .
ЛИТЕРАТУРА