За период с 2019 по 2022 гг. получены следующие основные результаты:
  • Разработана архитектура и выполнена экспериментальная реализация Мета-облачной вычислительной среды (МОВС, англ. MC2E), ориентированной на объединение ЦОД и суперкомпьютеров в единую федеративную вычислительную среду для MPI-задач
  • Разработан набор вариантов построения конвейера обработки пакетов для высокопроизводительного сетевого процессора, построены имитационные модели для этих вариантов, проведено экспериментальное исследование
За период с 2016 по 2018 гг. получены следующие основные результаты:
  • Разработана архитектура и способы междоменного взаимодействия в распределённой платформе виртуализации сетевых функций.
  • Создан точный алгоритм распределения вычислительной нагрузки по модулям и процессорным ядрам в распределенных ВСРВ с архитектурой ИМА.
  • Разработан метод применения многопоточной передачи пакетов для балансировки трафика в программно-конфигурируемой компьютерной сети
За период с 2000 по 2015 гг. получены следующие основные результаты:
  • Теория и методы проектирования ИУС РВ (авиационных и корабельных) на основе информации об инварианте поведения программы.
  • Теория и методы построения «природных» алгоритмов решения задач структурного синтеза и планирования вычислений в распределенных системах.
  • Верификация параметризованных систем асинхронно-взаимодействующих процессов.
  • Математическая модель функционирования сетей нового поколения — ПКС сетей.
  • Метод оценки и оптимизации надежности ИУС РВ, механизмов обеспечения отказоустойчивости.
  • Развитие Network Calculus для управления качеством сервисов в сетях.
  • Новое параметрическое семейство алгоритмов для задачи распознавания поведения сложных технических систем при нелинейных искажениях показаний датчиков.
  • Новый класс алгоритмов, сочетающих жадные стратегии и ограниченный перебор для решения задач планирования вычислений в распределенных системах.
  • Метод оценки частоты выполнения фрагментов кода последовательных программ.
  • Обнаружение схожих фрагментов кода в программных системах.
  • Новые методы обучения и синтеза нейросетей прямого распространения с низкой сложностью.
  • Алгоритмы синхронизации времени для распределенного имитационного моделирования систем реального времени.

Современные направления исследований описаны здесь.

Статистика
  • Выполнено в 2000-2021 гг. работ за счёт внебюджетных средств на общую сумму 310,5 млн. руб.
  • Выпущено 360 студентов (по состоянию на июль 2021 г.)
  • Подготовлены 23 кандидата физико-математических наук (по состоянию на март 2022 г.).

Отчёт о деятельности лаборатории за 2008-2015 гг. на Учёном совете факультета.

Выполняемые и завершённые проекты
  • Госзадание «Методы управления пропускной способностью при взаимодействии в компьютерных сетях», 2021-2025 гг.
  • Договор № YBN2020045055, Huawei Software Technologies Co., Ltd., 2020-2021 гг.
  • Договор № ТС 20220208493, Huawei Software Technologies Co., Ltd,, 2022-2023 гг.

  • Госзадание «Исследование методов управления качеством сервиса в распределенных вычислительных системах и компьютерных сетях с программным управлением», 1 января 2016 — 31 декабря 2020
  • Грант Минобрнауки РФ «Исследование и разработка метаоблачной вычислительной среды», 2018-2020 гг, соглашение о предоставлении субсидии 05.613.21.0088.
  • Проект РФФИ «Моделирование и анализ перспективных архитектур отечественных сетевых процессоров», 19-07-01076а, 2019-2021 гг.
  • Проект РФФИ «Разработка методов и средств повышения эффективности использования ресурсов в вычислительных системах с жесткими требованиями к качеству обслуживания», 19-07-00614а, 2019-2021 гг.
  • Проект РФФИ «Исследование методов планирования и распределения сетевых ресурсов в виртуальных пластах программно-конфигурируемой сети», 19-07-01112а, 2019-2021 гг.
  • Проект РФФИ «Исследование принципов междоменного взаимодействия в распределенной платформе виртуализации сетевых функций», 18-07-01245а, 2018-2020 гг.
  • Проект РФФИ «Исследование методов повышения пропускной способности транспортных соединений с помощью сегментирования сети», 18-07-01255а, 2018-2020 гг.
  • Проект РФФИ «Разработка теоретических основ, методов и средств построения систем реального времени, сочетающих федеративную и интегрированную модульную архитектуру», 17-07-01566а, 2017-2019 гг.
  • Госконтракт Арктика-2030-МГУ, 4 мая 2018 г. — 25 октября 2018 г.
  • Договор № YBN2016100092, Huawei Software Technologies Co, 01 декабря 2016 г.-01 апреля 2018 г.
  • Договор № YBN2016050040, Huawei Software Technologies Co, 01 июля 2016 г.-30 сентября 2017 г.

  • Госзадание, «Методы и инструментальные средства анализа функционирования и разработки встроенных систем реального времени», 1 января 2011 — 31 декабря 2015,
  • Госзадание «Методы анализа и выявления вредоносного программного обеспечения в современных сетях ЭВМ», 1 января 2011 — 31 января 2015,
  • Минобрнауки, «Исследование и разработка средств управления ИТ-инфраструктурой в проводных корпоративных и ведомственных компьютерных сетях на основе технологии программно-конфигурируемых сетей (ПКС, SDN) и виртуализации сетевых сервисов (NFV)» 23 сентября 2014 — 31 декабря 2016, рук. Костенко В.А., ФЦП «Исследования и разработки по приоритетным направлениям развития научно-технологического комплекса России на 2014—2020 годы», № соглашения 14.607.21.0070
  • Минобрнауки, «Создание прототипа отечественной ПКС платформы управления сетевыми ресурсами и потоками с помощью сетевой операционной системы (СОС) на основе анализа и оценки существующих сетевых операционных систем для ПКС сетей и выбора одной из них для последующего развития», 1 марта 2013 — 28 августа 2013, рук. Смелянский Р.Л., контракт №14.514.11.4047
  • Минобрнауки, «Создание прототипа интегрированной среды и методов комплексного анализа функционирования распределённых вычислительных систем реального времени», ФЦП «Научные и научно-педагогические кадры инновационной России», 20 сентября 2010 — 15 ноября 2012, рук. Смелянский Р.Л., №14.740.11.0399
  • РФФИ, «Модели, методы и алгоритмы верификации и управления качеством сервиса в телекоммуникационных сетях нового поколения» (4 февраля 2014 — 31 декабря 2016, рук. Смелянский Р.Л., №14-07-00625-а)
  • РФФИ, «Разработка высокоэффективного гибридного алгоритма синхронизации времени для распределённого дискретно-событийного имитационного моделирования» (14 марта 2013 — 31 декабря 2015, рук. Бахмуров А.Г., №13-07-00751-а)
  • РФФИ, «Средства автоматической проверки темпоральных свойств асинхронных систем взаимодействующих процессов» (1 января 2013 — 31 декабря 2015, рук. Чистолинов М.В., №13-07-00669-а)
  • РФФИ, «Исследование новых подходов к анализу функционирования компьютерных сетей нового поколения масштаба WAN» (5 февраля 2014 — 31 января 2016, рук. Балашов В.В., №14-07-00743-а)
  • РФФИ, «Создание методов автоматического анализа поведения приложений, созданных с помощью скриптовых языков» (1 марта 2011 — 31 декабря 2013, рук. Смелянский Р.Л., №11-07-00609)
  • РФФИ, «Моделирование распространения вредоносного программного обеспечения в глобальных компьютерных сетях для оценки наносимого им ущерба», (2010-2012, № 10-01-00581a, рук. Костенко В.А.)
  • ЗАО НТЦ «Модуль», «Разработка программного обеспечения макета мультимедийной подсистемы СБИС ЦОТС», 2012-2013
  • ЗАО НТЦ «Модуль», «Разработка программного обеспечения декодирования и совместного отображения аудио и видео для комплекта унифицированного электронного модуля декодера, 2011-2012
  • ЗАО НТЦ «Модуль», «Разработка программного обеспечения декодирования и отображения видео для комплекта унифицированного электронного модуля декодера; ЗАО НТЦ «Модуль», 2011-2012
  • ОКР Разработка программных средств СО_NM для процессора 1879ВМ4″, ЗАО НТЦ «Модуль», 2010-2011.
  • ОКР «Разработка базовых технологий моделирования, проектирования, диагностики и испытаний вычислительных комплексов высокой производительности, радиоэлектронных систем различного назначения» шифр «Аппарат-М», ОАО «НИИВК им. М.А.Карцева»26.07.2011-17.09.2013, №96/11/к
  • Госконтракт Зимородок 08/660, 04.2009 – 09.2011
  • Госконтракт Звонок-КВ 08/658, 04.2009 – 09.2011
  • Госконтракт Занзибар 10/73, 04.2010 – 03.2012
  • Госконтракт Зимородок-New 12/415, 08.2012-11.2013

  • ОКР «Разработка ПО средств автоматизированной сборки и формирования загрузочных образов системного и прикладного ПО АПП СБИС ДЦТС», ЗАО НТЦ «Модуль», 2010
  • Госконтракт 62/119 Марево-М, 08.2008 – 03.2010
  • Госконтракт Мотель-К 62/118, 06.2008 – 02.2010
  • Госконтракт Зона Web 08/54, 04.2008 – 03.2010
  • Госконтракт 08/53 Заряд-А, 04.2008-03.2010
  • ФЦП «Развитие оборонно-промышленного комплекса Российской Федерации на 2007-2010 гг.», ОАО «НИИВК им. М.А.Карцева», 2008-2009
  • ОКР «Разработка системного ПО для графического процессора СБИС ДЦТС», ЗАО НТЦ «Модуль», 2009.
  • ОКР «Разработка драйвера видеоконтроллера высокого разрешения для ОС Linux», ЗАО НТЦ «Модуль», 2009.
  • ФЦП Развитие электронной компонентой базы, ЗАО НТЦ «Модуль», 2007-2009.
  • Госконтракт 06/222 Сервис-А, 07.2006-03.2008
  • Госконтракт 6/1 Метеорит, 03.2006-04.2008
  • НИОКР Разработка методики применения программных средств моделирования вычислительной системы морского навигационного комплекса, ФГУП ЦНИИ «Электроприбор», 2008-2009.
  • ОКР «Разработка программных средств для моделирования вычислительной системы морского навигационного комплекса», ФГУП ЦНИИ «Электроприбор», 2006-2007.
  • ОКР «Совершенствование средств моделирования и разработки программ для спецвычислителей на основе процессоров NeuroMatrix», ЗАО НТЦ «Модуль», 2005-2006.
  • ОКР «Информационная безопасность для транспортных средств», Daimler AG, 2006, 2007-2008.
  • ОКР «Разработка и внедрение пакета алгоритмов однокритериальной и многокритериальной оптимизации. Разработка и внедрение специальной методики и средств для решения крупномасштабных многокритериальных задач проектирования при использовании высокоэффективных распределённых компьютерных систем». ST Microelectronics, 2003-2006.
  • РФФИ 07-01-00237″ Создание новых методов и средств анализа функционирования распределенных вычислительных систем за счет интеграции методов и средств имитационного моделирования с методами и средствами планирования и оптимизации», 2007-2009.
  • РФФИ 04-01-00556 «Разработка методов и средств поддержки проектирования вычислительных систем реального времени на основе метода имитационного моделирования», 2004-2006.

  • НИР «Квантор», обнаружение компьютерных атак на информационно-телекоммуникационные системы, построенные с использованием оборудования Cisco Systems.
  • НИР «Мониторинг-ЛВС», исследование возможностей обнаружения компьютерных атак в локальных вычислительных сетях. 2001-2002.
  • НИР «Невод», Исследование возможности использования интеллектуальных методов для обнаружения компьютерных атак.
  • ОКР «Сервис-КП», исследование возможности обнаружений уязвимостей веб-приложений по их исходному коду на интерпретируемых языках. 2003-2004.
  • ОКР «3-МСВС-Х», cоздание Х-сервера для среды с мандатным разграничением доступа. 2001-2002.
  • ОКР «Интервал», создание стенда полунатурного моделирования бортового комплекса летательного аппарата. 2001-2002.
  • ОКР «Модель NM», создание модели векторного вычислителя NeuroMatrix и среды разработки ПО для многопроцессорной системы на основе данного процессора. 2001.
  • ОКР «Мониторинг-РВС», ОКР «Мониторинг-РВС-И» разработка системы обнаружения атак для сетей органов государственной власти РФ, создание интеллектуальных методов обнаружения атак 2003-2005.
  • ОКР 11-ФЦ, разработка подсистемы составления расписания для ф-та ВМиК и разработка системы дистанционного обучения. 2001-2002.
  • ЗАО НТЦ «Модуль», ОКР СОАИЗ, разработка компилятора и интерпретатора байт-кода для встроенной системы. 2005.
  • ОКР УМ-01-04-03, разработка учебных дистанционных курсов для Sun Microsystems. 2003.

  • EC INCO-COPERNICUS, проект 977020 — DR TESY, сравнительное исследование методов и инструментальных средств моделирования и логического анализа программного и аппаратного обеспечения встроенных систем реального времени. В проекте участвовали: эксперты в предметной области — Военный авиационно-технический университет им. Н.Е. Жуковского (ВАТУ), ГосНИИАС; разработчики инструментальных средств — факультет ВМиК МГУ, научно-исследовательские институты GMD FIRST (Германия), CWI (Нидерланды). 1998-2000.
  • НИИСИ РАН, «Багет», моделирование вычислительного комплекса «Багет». 1997-2000.
  • НИЦ «Контур», NetEdit, анализ производительности телекоммуникационных сетей. 1995-1999.
  • ЦНИИРЭС, НИР «Пальмира», НИР «Штора», отработка структуры интегрированного бортового вычислительного комплекса. 1990-1993, 1995-1996.
  • ЦНИИ машиностроения, НИР «Салют-У», НИР «Совершенствование-У», прототипирование средств разработки архитектуры бортовой вычислительной системы космического аппарата. 1991-1994.
  • НПО «Взлёт», поддержка процесса сертификации ПО беспилотного летательного аппарата. 1989.