|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Верификация имитационных моделей в среде ДИАНА с применением средства SPINдипломная работа (Специалист)
- Научный руководитель: Балашов В.В.
- Автор: Ларионов А.А.
- Тип: Специалист
- Организация, в которой проходила защита: МГУ имени М.В. Ломоносова
- Год защиты: 2007
- Аннотация: Целью данной работы является разработка и исследования способов интеграции системы верификации SPIN в среду ДИАНА. Для достижения данной цели в рамках работы решены следующие задачи: * Разработка алгоритмов отображения моделей, разработанных в среде ДИАНА, на язык PROMELA. * Реализация разработанных алгоритмов. * Обоснование корректности разработанных алгоритмов. * Исследование эффективности и оптимизации построенных алгоритмов. Приведённые в работе результаты исследования показали высокую эффективность разработанных алгоритмов и доказали возможность использования системы верификации на основе средства SPIN для проверки реальных иммитационных моделей.
- Добавил в систему: Балашов Василий Викторович