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

• Автор: Стешенко, Александр Георгиевич
• Шифр специальности: 05.13.06
• Научная степень: Кандидатская
• Год защиты: 1984
• Место защиты: Ленинград
• Количество страниц: 154 c. : ил

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. Структура разработки ПО протоколов передачи
Выводы к главе
3. КОМПЛЕКС МОДЕЛЕЙ АНАЛИЗА И РЕАЛИЗАЦИИ ПРОТОКОЛОВ ПЕРЕДАЧИ
3.1. Предикатное исчисление сетей Петри
3.1.1. Основные определения

3.1.2. Подклассы сетей Петри
3.1.3. Основные свойства сетей Петри
3.2, Сведение Е-сетей к сетям Петри
3.2.1. Процедура перехода
3.2.2. Основные теоремы
3.3. Переход от Е-сетевого описания к моделям имитации
3.4. Связь Е-сетей с логическими матрицами
Выводы к главе
4. РЕЗУЛЬТАТЫ ПРИМЕНЕНИЯ ПРЕДЛАГАЕМОГО КОМПЛЕКСА МОДЕЛЕЙ ДЛЯ АНАЛИЗА ДВОИЧНО-СИНХРОННОГО МЕТОДА УПРАВЛЕНИЯ ЗВЕНОМ ДАННЫХ СЕТЕЙ ТЕЛЕОБРАБОТКИ ИНФОРМАЦИИ АСУ
4.1. Формальное описание протокола ВВС
с привлечением АЛМ
4.1.1. Основные положения
4.1.2. Передача информации первичной станцией
протокола ВВС
4.1.3. Прием информации вторичной станцией
протокола ВВС
4.2. Формализация протокола ВВС средствами Е-сетей
4.3. Анализ протокола ВВС на сетях Петри
4.4. Исследование эффективности протокола ВВС
4.5. Алгоритмы реализации протокола ВВС
Выводы к главе
ЗАКЛЮЧЕНИЕ
ЛИТЕРАТУРА
ПРИЛОЖЕНИЕ

СПИСОК СОКРАЩЕНИЙ
АОС - архитектура открытых систем
АПМ - абстрактная протокольная машина
АСУ - автоматизированная система управления
БС - блок сообщений
ВС - вторичная станция
ГКВУ - генератор команд для верхнего уровня
ИВС - информационно-вычислительная среда
ИВУ - интерфейс с верхним уровнем
КВхК - контекст входных команд
КВхС - контекст входных сообщений
КВыхК - контекст выходных команд
КВыхС - контекст выходных сообщений
КОП - код операции
КП - коммутация пакетов
КТК - кабельный телефонный канал
МККТТ - международный консультативный комитет по телефонии и телеграфии МОС - международная организация стандартов ЩЮй - международная федерация по обработке информации ОБ - обрабатывающий блок ПБ - процедурный блок ПКВУ - приемник команд от верхнего уровня ПО - программное обеспечение ПрБ - протокольный блок ПрС - протокольная станция ПС - первичная станция РРТК - радиорелейный телефонный канал
ках АПМ.
Рассмотрим формальное описание протоколов средствами Е-се-тей, воспользовавшись структурой АПМ, показанной на рис. 2.6.
I. Формализация входного (выходного) блока сообщений.
Е-сетевая модель входного БС представлена на рис. 2.8. На содержательном уровне модель определяет:
- поступление сообщения из канала передачи данных (позиция
ж,);
- разделение информационных и управляющих блоков (переход
X*);
- выделение из информационного блока текста (позиция ) для передачи к буферу и управления (позиция %$ ) на переходе ГЕ ;
- объединение управления (переход "Уе ) для передачи на обработку процедурному блоку ПБ (позиция ).
Формально функционирование входного БС задается следующим образом (правила описания Е-сетей даны в [97, 98] ):
М0 = 0 ;
X - { , 32/ [ЗД? ; Х^, Хц, Х^} '^'2.1
ХР={< Х{1Ъ1,ХН, х£, Х6 ] ;
у, - (х£ (#/, &/, ^ ( М (X/ (3)));
~ ( ) > 0
% = ^Уг &з, У, ) ; (?- );
Ч' (х$) = X/ : С М (Х/(Л)='/-М Г»} )*.= (?;
М (Х/(2)) = «/ — М (х*)'-41 ;
Ч* = : й М(Ъ) = 1-+ М(ь£):=01 ;