Цель работы. Разработать имитационную модель организации выполнения заданий в компьютерной системе реального времени с многозадачной и многопользовательской операционной системой на основе интерпретации развития вычислительных процессов на языке асинхронных стохастических сетей Петри.

Спецвопрос. Построить дерево достижимости стохастической сети Петри и на основе формальных преобразований перейти к анализу структуры и параметров случайного процесса, характеризующего поведение системы ситуационного управления при многократном выполнении однотипных заданий, с последующей количественной оценкой вероятностей переходов и вероятностей состояний в однородной марковской цепи.

ЧАСТЬ 2. РАЗРАБОТКА ИМИТАЦИОННОЙ МОДЕЛИ РАСПРЕДЕЛЕННОЙ ИНФОРМАЦИОННО-АНАЛИТИЧЕСКОЙ СИСТЕМЫ НА БАЗЕ LOG-СЕРВЕРА И СЕРВЕРА ПРИЛОЖЕНИЙ

Цель работы. Для моделирования процессов управления доступом в распределенной информационно-аналитической системы на базе log-сервера и сервера приложений разработать средства имитационного моделирования процессов предоставления прав доступа зарегистрированных пользователей к ресурсам распределенной системы в составе рабочих станций, маршрутизаторов, серверов приложений, log-сервера. Для интерпретации развития вычислительных процессов использовать язык асинхронных стохастических сетей Петри. Структура потока login - действий в моделируемой системе, представлена на рисунке в книге.

Спецвопрос. Построить дерево достижимости стохастической сети Петри и на основе формальных преобразований перейти к анализу структуры и параметров случайного процесса, характеризующего поведение распределенной информационно-аналитической системы на базе log-сервера и сервера приложений при многократном выполнении однотипных заданий (см. таблицы в книге), с последующей количественной оценкой вероятностей переходов и вероятностей состояний в однородной марковской цепи.

Моделирование основано на событийном подходе. Каждое действие многих пользователей сначала обрабатывается модулем диалогового окна верхнего уровня. Возможные события, связанные с пользователями, могут быть: turn on set top box (включить диалоговое окно регистрации), turn off stb (выключить диалоговое окно), login yes (успешно зарегистрироваться), login no (получить отказ в регистрации), movie order true (предъявить правильный индивидуальный ключ) movie order fails (предъявить неправильный индивидуальный ключ).

ЧАСТЬ 3. РАЗРАБОТКА ИМИТАЦИОННОЙ МОДЕЛИ ДЛЯ АНАЛИЗА БЕЗОПАСНОСТИ ОРГАНИЗАЦИИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ ИНФОРМАЦИОННО-АНАЛИТИЧЕСКОЙ СИСТЕМЫ

Тема работы. Исследование способов и средств имитационного моделирования для анализа безопасности информационно-аналитических систем (ИАС), содержащих интеллектуальные компоненты диагностики и исправления непредвиденных логических ошибок (НЛО) в организации программного обеспечения (ПО) на этапах его проектирования, разработки и модификации. Для представления моделей используются языки и средства описания формализованных дискретных систем (ФДС) в соответствии с положениями теории систем массового обслуживания (СМО) и теории сетей Петри (СП).

Цель работы. Cоздание программного макета моделирующей системы для анализа безопасности проектируемой информационно-аналитической компьютерной системы с удаленным доступом к информационным ресурсам Основное внимание уделяется проблемам безопасности, связанным с механизмами разрешения конфликтов и предотвращения тупиков.