Исследования

Основные направления научных исследований и разработок, ведущихся в ЛВК:

1."Планирование вычислений в вычислительных системах реального времени и структурный синтез ВС РВ"
Темы исследований:
•Планирование вычислительной нагрузки в центрах обработки данных
•Построение расписаний вычислений и обмена данными в бортовых многопроцессорных вычислительных машинах
•Построение систем виртуальных каналов в сетях передачи данных на основе коммутаторов
•Виртуализация в бортовых ВС РВ
•Применение "природных" алгоритмов для планирования вычислений: генетические алгоритмы, алгоритмы имитации отжига, алгоритмы муравьиных колоний
Партнёры ЛВК: Объединённая авиастроительная корпорация, ОКБ Сухого, EMC, РЕДЛАБ-И.
Применение результатов исследований:
•Планировщик вычислительной нагрузки в центрах обработки данных
•Программная система построения расписаний для бортовой вычислительной системы самолёта-истребителя пятого поколения (Т-50)
•Программная система построения расписаний обмена данными для бортовых ВС самолётов Су-35, Т-50
•Программная система конфигурирования бортовых сетей на основе коммутаторов (стандарты Fibre Channel, AFDX)

2."Анализ функционирования и обеспечение отказоустойчивости вычислительных систем реального времени"
Темы исследований:
•Тестирование и полунатурное моделирование бортовых ВС РВ
•Обеспечение отказоустойчивости ВС РВ
•Автоматизация построения имитационных моделей ВС РВ по описанию архитектуры ВС
•Синхронизация времени в распределённых системах моделирования
•Применение программно-конфигурируемых сетей в ВС РВ
Партнёры ЛВК: Объединённая авиастроительная корпорация, ОКБ Сухого, РЕДЛАБ-И.
Применение результатов исследований:
•Программный комплекс тестирования и испытаний бортовых вычислительных систем современных самолётов: военных (Су-35, Т-50), гражданских (лайнер МС-21)
•Система полунатурного моделирования бортовых ВС, поддерживающая поэтапную интеграцию ВС с заменой моделей бортовых устройств на реальные устройства
•Программная система выбора оптимальных механизмов отказоустойчивости для бортовых ВС

3."Программно-конфигурируемые сети, виртуализация и облачные вычисления"
Темы исследований:
•Средства построения, анализа, моделирования, управления и обеспечения безопасности программно-конфигурируемых сетей (ПКС)
•Применение технологий ПКС (SDN) и виртуализации сервисов (NFV) в различных прикладных областях: центры обработки данных, распределённые хранилища данных, корпоративные сети
Партнёры ЛВК: Центр прикладных исследований компьютерных сетей, EMC, Ростелеком, Huawei
Применение результатов исследований:
•Первая российская операционная система (контроллер) для компьютерных сетей нового поколения
•Коммутатор для ПКС-сетей
•ПО для создания самоорганизующихся и распределенных IaaS облаков и виртуальных центров обработки данных
•Система обнаружения вредоносного кода в ПКС-сетях

  • разработка методов анализа функционирования встроенных систем управления сложными техническими объектами,
  • структурный синтез и планирование вычислений,
  • методы верификации программ.
  • Password: