Главная страница « Научно-исследовательский семинар «

Доклад подготовлен по материалам диссертационной работы и посвящен исследованию и разработке технологии автоматического масштабирования дискретно-событийных имитационных моделей распределённых вычислительных систем. Под масштабированием понимается повышение уровня абстракции программы имитационной модели с сохранением интересующих нас свойств, включая временные. При этом время выполнения полученной имитационной модели на инструментальной машине меньше времени выполнения исходной.

В рамках данной работы получены следующие основные результаты:

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

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

3. Показана корректность алгоритма масштабирования и сделана оценка его вычислительной сложности.
   

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

Приглашаются аспиранты и стажеры программистских кафедр.