Введение
1 Коммуникационные транспортные протоколы 8
1.1 Современные коммуникационные сети 8
1.2 Модель взаимодействия открытых систем 9
1.3 Семейство протоколов TCP/IP 11
1.4 Transmission Control Protocol (TCP) 13
1.5 Протокол ARTCP 36
1.6 Модели коммуникационных протоколов и сетевого трафика 38
2 Моделирование транспортных протоколов с помощью раскрашенных сетей Петри 40
2.1 Раскрашенные сети Петри 40
2.2 Моделирование служебных структур протокола 56
2.3 Иерархическая структура модели 62
2.4 Построение модели функциональной части протокола 65
2.5 Моделирование обработки пользовательских вызовов 66
2.6 Моделирование передачи сегментов в сеть 71
2.7 Моделирование обработки пришедших сегментов 78
2.8 Модификация модели 85
2.9 Общая схема модельных экспериментов 91
2.10 Заключение 92
3 Анализ свойств коммуникационных транспортных протоколов 94
3.1 Проблема верификации транспортных протоколов 94
3.2 Верификация предоставляемого протоколом сервиса 95
3.3 Верификация иерархических раскрашенных сетей Петри 114
3.4 Верификация моделей протоколов 115
3.5 Анализ работы протокола ARTCP при множественных потерях сегментов 120
3.6 Исследование производительности транспортных протоколов 124
3.7 Заключение 138
Заключение 140
Литература 141
