Создание прототипа интегрированной среды и методов комплексного анализа функционирования распределённых вычислительных систем реального времени (РВС РВ)

Презентация:



Advertisements
Похожие презентации
РАЗРАБОТКА ПРОГРАММНЫХ СРЕДСТВ ДЛЯ МОДЕЛИРОВАНИЯ ВЫЧИСЛИТЕЛЬНОЙ СИСТЕМЫ МОРСКОГО НАВИГАЦИОННОГО КОМПЛЕКСА ВМиК МГУ им. М.В. Ломоносова, Лаборатория Вычислительных.
Advertisements

Лабораторный практикум по курсу Принципы построения современных ОС Линёв А.В. – ассистент, кафедра ИИСиГИ ВМК ННГУ Свистунов А.Н. – ассистент, кафедра.
Анализ состояния экспериментальной работы в учреждениях НПО Сергеева Т.А. Учебный Центр ФИРО Кафедра образовательного проектирования.
1 Предмет Государственного контракта: Выполнение работ по проекту: «Создание и поддержка банка программ в сфере дополнительного образования детей». Исполнитель:
Информационное сообщение о проекте модернизации бакалавриата в области техники и технологии Заместитель начальника методического управления Высшей школы.
Математическое моделирование информационных процессов Санкт-Петербургский государственный университет Факультет прикладной математики - процессов управления.
РАЗРАБОТКА И ВНЕДРЕНИЕ АВТОМАТИЗИРОВАННОЙ СИСТЕМЫ АНАЛИЗА И ПРОГНОЗИРОВАНИЯ ПРОИЗВОДСТВЕННЫХ СИТУАЦИЙ ДОМЕННОГО ЦЕХА С ЦЕЛЬЮ ПОВЫШЕНИЯ ЭФФЕКТИВНОСТИ УПРАВЛЕНИЯ.
ВСТРОЕННЫЕ ИНФОРМАЦИОННО- УПРАВЛЯЮЩИЕ СИСТЕМЫ РЕАЛЬНОГО ВРЕМЕНИ Лекция 1: Введение в ИУС РВ Кафедра АСВК, Лаборатория Вычислительных Комплексов Балашов.
Распределенная система мониторинга и диспетчеризации процессов гетерогенной среды студент Костюков В.В., профессор к.ф-м.н Крючкова Е.Н., АлтГТУ / ПОВТ.
Ростовский Государственный Университет Информационный Интегрирующий Комплекс ИИК.
НОЦ «Взаимодействие плазмы с поверхностью» был образован на базе образовательного университета (Национальный исследовательский ядерный университет «МИФИ»)
Введение в задачи исследования и проектирования цифровых систем Санкт-Петербургский государственный университет Факультет прикладной математики - процессов.
И моделирование Национальный технический университет «Харьковский политехнический институт»м и т а ц и о н н о е аи.
Индивидуальный отчёт о научной деятельности в 2010 году Гуськов Андрей Евгеньевич К.т.н., н.с. Лаборатория информационных ресурсов.
Методы оценки времени отклика задач в двухъядерных системах реального времени СоискательГуцалов Н.В. Научный руководитель д.т.н., профессор Никифоров В.В.
Об опыте создания в ННГУ учебно-исследовательской лаборатории «Информационные технологии» при поддержке компании Интел Белов С.А., Гергель В.П., Нестеренко.
Сложностные характеристики статистических скрытых каналов Автор: Свинцицкий Антон Игоревич Факультет вычислительной математики и кибернетики Московского.
Автор: Вельдер С. Э., аспирант Руководитель: Шалыто А. А., доктор технических наук, профессор, заведующий кафедрой «Технологии программирования» Верификация.
Разработка системы прогнозирования состояний компьютерной сети МИЭМ, 2011 Выполнил: студент группы С-104 Дегтярев Дмитрий Викторович Научный руководитель:
«Интеграция информационных и педагогических технологий при проектировании учебно- методических пособий по алгебре» Презентация результатов шестого этапа.
Транксрипт:

Создание прототипа интегрированной среды и методов комплексного анализа функционирования распределённых вычислительных систем реального времени (РВС РВ) ГК Факультет Вычислительной Математики и Кибернетики Лаборатория Вычислительных Комплексов Конференция ФЦП Кадры-2013, Москва Московский Государственный Университет имени М.В. Ломоносова

Требования к системе моделирования РВС РВ Цель: поддержка проектирования РВС РВ. Требования: Открытость системы Совместное использование средств моделирования и верификации Возможность сопряжения с аппаратурой Регистрация и обработка событий моделирования Возможность взаимодействия со сторонними системами

Архитектура системы имитационного моделирования ДИАНА

Построение модели на UML UML с вставками на языке С

Верификация модели в UPPAAL Вычисление WCET линейных участков кода на С Трансляция в автоматы UPPAAL Формальная проверка свойств модели Восстановление контрпримера в терминах UML

HLA (IEEE-1516) – стандарт архитектуры среды выполнения моделей. State Chart XML – простой формат представления диаграмм состояний, подходящий для их автоматической генерации. RAP (Reliability Allocation Problem) – оптимизационная задача, требующая многократного проведения имитационных экспериментов. Генерация кода федератов HLA и интеграция со сторонними системами Пример кода HLA федерата:

Среда выполнения моделей MT-CERTI MT-CERTI – разработанная авторами модификация системы CERTI Служебные федераты: федерат-контроллер аппаратных устройств (MILSTD-1553) федерат-трассировщик libRTI RTIA 1 Федерат 1 RTIG WAN Сокет Unix Сокет TCP libRTI RTIA 2 Федерат 2 libRTI RTIA n Федерат n

Сравнение производительности CERTI и MT-CERTI Кол-во сообщений Время работы (мс) Модель «Лавина»Модель «Пинг-Понг» CERTIMT CERTICERTIMT CERTI 104,12,810,26, ,126,194,465, , ,6666, ,28770,76570, ,487643,266524,8

Визуализация результатов моделирования Vis4 – модификация средства визуализации Vis3 (ЛВК ВМК МГУ) OTF (Open Trace Format) – открытый формат представления трасс, разработанный в техническом университете Дрездена

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

Основные результаты (2) Разработаны и реализованы 4 вида эволюционных алгоритмов и алгоритм имитации отжига для решения задачи выбора механизмов обеспечения отказоустойчивости РВС РВ. Выполнена интеграция среды моделирования с этими методами Создан экспериментальный образец стенда полунатурного моделирования и интеграции РВС РВ Разработана программа внедрения результатов НИР в образовательный процесс Подготовлены научно-методические материалы для учебных материалов по тематике проекта

Направления развития Замена централизованной архитектуры MT-CERTI на каскадную Реализация более эффективных алгоритмов синхронизации времени Оптимизация алгоритма трансляции диаграмм UML в автоматы UPPAAL Поддержка работы с аппаратным каналами ARINC, FC Автоматическая обработка результатов моделирования

Основные достижения (1) Защищена 1 докторская диссертация (ещё 1 планируется в 2013/2014 учебном году) Защищено 4 кандидатских диссертации (ещё 4 планируются в 2013/2014 учебном году) Опубликовано 18 статей в ВАКовских и ведущих зарубежных журналах (ещё 3 статьи находятся в печати) 19 выступлений на конференциях (ИмМод, WinterSim) 13 молодых студентов, аспирантов, докторантов и молодых исследователей, закрепленных в сфере науки

Основные достижения (2) Сформировано исследовательское партнёрство с такими организациями как АО "ОКБ Сухого", ЦНИИ "Электроприбор" и НТЦ "Модуль" Стартовал проект по созданию средства мониторинга и анализа канала МКИО Заинтересованность в сотрудничестве со стороны исследовательского центра Onera (Франция)

Вопросы? Страница проекта: Отчёты: Лаборатория Вычислительных Комплексов ВМК МГУ Тел.: +7 (495) Дмитрий Волканов