Введение
Глава 1. Методы исследования интегрированных систем безопасности 17
1.1. Методы исследования операций при моделировании сложных систем 17
1.2. Классификация средств имитационного моделирования 20
1.3. Параметры сравнения средств имитационного моделирования 22
1.4. Сравнение систем имитационного моделирования 25
1.4.1. Событийно-ориентированные СИМ 26
1.4.2. Процессно-ориентированные СИМ 30 ,
1.5. Использование нотации Хоара при построении имитационных моделей программных систем 39
Основные выводы 45
Глава 2. Конструирование имитационной модели интегрированной системы безопасности 47
2.1. Описание интегрированной системы безопасности на основе комплекса «Бастион» 47
2.1.1. Сравнительные характеристики ИСБ 47
2.1.2. Архитектура сети ИСБ «Бастион» 51
2.1.3. Основные классы программной системы 53
2.2. Установка соответствий между реальными объектами и объектами модели 57
2.2.1. Функциональное описание процесса обработки событий 57
2.2.2. Определение моделируемых классов системы 60
2.3. Создание формальной модели процесса обработки событий в нотации Хоара 62
2.4. Создание MS-модели ИСБ «Бастион» 65
2.4.1. Моделирование программной логики 65
2.4.2. Моделирование управления квазипараллельными процессами 73
Основные выводы и результаты 79
ГЛАВА 3. Оценка возможностей масштабирования ИСБ на имитационной модели 81
3.1. Методика оценки применимости комплекса «Бастион» на объекте охраны с известными параметрами 81
3.2. Оценка влияния параметров компьютерной сети на производительность системы обработки событий 87
3.2.1. Определение зависимости параметров системы от числа рабочих мест 88
3.2.2. Изменение скорости обработки событий при распределении нагрузки между серверами системы 91
3.2.3. Оценка влияния производительности процессоров на скорость обработки событий 95
3.3. Определение эффективного алгоритма визуализации событий 98
3.3.1. Формулировка задачи и подготовка эксперимента 98
3.3.2. Проведение эксперимента и анализ результатов 101
Основные выводы и результаты 103
Глава 4. Оптимизация имитационной модели 105
4.1. Структурная оптимизация имитационной модели ИСБ «Бастион»... 105
4.1.1. Определение необходимых изменений в имитационной модели . 105
4.1.2. Проведение сравнительного эксперимента и анализ результатов 109
4.1.3. Переход к программным конструкциям 112
4.2. Методы и алгоритмы поиска численного оптимума на имитационных моделях 114
4.2.1. Основные подходы к задачам оптимизации имитационных моделей 114
4.2.2. Реализация оптимизатора OptQuest для Micro Saint 117
4.3. Параметрическая оптимизация имитационной модели 121
4.3.1. Постановка задачи и систематизация параметров оптимизации.. 121
4.3.2. Проведение оптимизационного эксперимента и анализ результатов 127
Основные выводы и результаты 130
Заключение 131
Список использованных источников 135
Приложения 145
