Научная деятельность

  • Доклады на научных конференциях
    • Подход к решению задачи аппаратной верификации ПЛИС в рамках стандарта DO-254 
      Чистолинов Максим Владимирович
      Ломоносовские чтения 2021. Секция вычислительная математика и кибернетика, 20-29 апреля 2021, Москва, Россия, 20-29 апреля 2021
  • Тезисы докладов
    • Подход к решению задачи аппаратной верификации ПЛИС в рамках стандарта DO-254 
      Чистолинов Максим Владимирович
      в сборнике Ломоносовские чтения-2021: научная конференция, факультет ВМК МГУ имени М.В.Ломоносова. Тезисы докладов, серия Секция Вычислительной математики и кибернетики, издательство Изд-во Моск. ун-та (М.), том 2021, тезисы, с. 164-165
  • Участие в программных комитетах конференций
    • 3rd International Science and Technology Conference «Modern Network Technologies, MoNeTec — 2020» 
      MTUCI, Moscow, Россия
    • IХ Научная конференция Консорциума "Сетевые и облачные технологии" 
      Москва, Россия
  • Научные отчёты
  • Тезисы докладов
    • СХЕМА РАСПРЕДЕЛЕННОГО КОНФИГУРАЦИОННОГО УПРАВЛЕНИЯ В СТЕНДАХ ФУНКЦИОНАЛЬНОГО ТЕСТИРОВАНИЯ С РАЗЛИЧНЫМИ УРОВНЯМИ ЗАЩИТЫ 
      Чистолинов Максим Владимирович
      в сборнике Ломоносовские чтения-2020. Секция «Вычислительной математики и кибернетики», серия Секция Вычислительной математики и кибернетики, издательство Изд-во Моск. ун-та (М.), тезисы, с. 158-159
  • Участие в программных комитетах конференций
    • VII Научная конференция Консорциума "Сетевые и облачные технологии" 
      Санкт Петербург, Россия
    • VIII Научная конференция Консорциума "Сетевые и облачные технологии" 
      Москва, Россия
  • Доклады на научных конференциях
    • Архитектура перспективного имитационного комплекса 
      Чистолинов М.В., Балашов В.В.
      «Ломоносовские чтения — 2019». Секция «ВМК», Москва, МГУ, Россия, 15-25 апреля 2019
  • Научные отчёты
  • Тезисы докладов
    • Архитектура перспективного имитационного комплекса 
      Чистолинов М.В., Балашов В.В.
      в сборнике Научная конференция ЛОМОНОСОВСКИЕ ЧТЕНИЯ. Тезисы докладов. 15-25 апреля 2019 г., серия СЕКЦИЯ ВЫЧИСЛИТЕЛЬНОЙ МАТЕМАТИКИ И КИБЕРНЕТИКИ, Факультет вычислительной математики и кибернетики, издательство ООО "МАКС Пресс" (Москва), тезисы, с. 113-113
  • Участие в программных комитетах конференций
    • VI Научная конференция Консорциума "Сетевые и облачные технологии" 
      Москва, Россия
  • Доклады на научных конференциях
    • Архитектура стендовых комплексов имитации и регистрации трафика высоконагруженных бортовых интерфейсов 
      Чистолинов Максим Викторович
      Ломоносовские чтения-2018, секция "Вычислительная математика и кибернетика", МГУ имени М.В. Ломоносова, Россия, 16-27 апреля 2018
  • Научные отчёты
  • Тезисы докладов
    • Архитектура стендовых комплексов имитации и регистрации трафика высоконагруженных бортовых интерфейсов 
      Чистолинов М.В.
      в сборнике Материалы Международного молодежного научного форума «Ломоносов-2018», издательство ООО "МАКС Пресс" (Москва), тезисы, с. 121
  • Доклады на научных конференциях
    • Стенд полунатурного моделирования и тестирования КБО-15 лет развития 
      Балашов В.В., Чистолинов М.В.
      Ломоносовские чтения — 2017, МГУ имени М.В. Ломоносова, Россия, 17-26 апреля 2017
  • Тезисы докладов
    • Стенд полунатурного моделирования и тестирования КБО -15лет развития 
      Балашов В.В., Чистолинов М.В.
      в сборнике Ломоносовские чтения: Научная конференция, Москва, факультет ВМК МГУ имени М.В.Ломоносова, 17-26 апреля 2017 г. Тезисы докладов, место издания МАКС Пресс Москва, тезисы, с. 76-77
  • Научные отчёты
    • Исследование и разработка средств управления ИТ- инфраструктурой в проводных корпоративных и ведомственных компьютерных сетях на основе технологии программно-конфигурируемых сетей (ПКС, SDN) и виртуализации сетевых сервисов (NFV) -ОБОБЩЕНИЕ И ОЦЕНКА РЕЗУЛЬТАТОВ ПНИ 
      #АААА-Б17-217101110007-7, 77 с.
    • Исследование и разработка средств управления ИТ- инфраструктурой в проводных корпоративных и ведомственных компьютерных сетях на основе технологии программно-конфигурируемых сетей (ПКС, SDN) и виртуализации сетевых сервисов (NFV) -Экспериментальные исследования 
      #АААА-Б16-216111040016-1, 29 с.
    • Исследование новых подходов к анализу функционирования компьютерных сетей нового поколения масштаба WAN 
      #АААА-Б17-317013010004-2, 50 с.
    • Разработка высокоэффективного гибридного алгоритма синхронизации времени для расределенного дискретно-событийного имитационного моделирования 
      #316031710011, 40 с.
    • Средства автоматической проверки темпоральных свойств асинхронных систем взаимодействующих процессов 
      Чистолинов М.В., Пашков В.Н.
      #316031710010, 50 с.
  • Тезисы докладов
    • Окисление органических веществ в водных растворах воздействием барьерного разряда 
      Якушин Р.В., Колесников В.А., Бродский В.А., Чистолинов А.В., Перфильева А.В.
      в сборнике Современные электрохимические технологии и оборудование : материалы докладов Международной научно-технической конференции, место издания Минск : БГТУ Минск, тезисы, с. 199-202
  • Статьи в сборниках
    • Опыт построения среды имитационного моделирования распределенных систем с применением HLA  
      в сборнике Третья международная кнаучно-пратическая конференция "Имитационное и комплексное моделирование морской техники и морских транспортных систем" — ИКМ МТМТС 2015, место издания ИКМ МТМТС 2015 Санкт-Петербург, с. 36-40
  • Доклады на научных конференциях
    • Инструментальная поддержка разработки и интеграции в информационно-управляющих системах реального времени 
      Ломоносовские чтения — 2015, МГУ имени М.В. Ломоносова, Россия, 21-23 апреля 2015
    • Опыт построения среды имитационного моделирования распределенных систем с применением HLA 
      Международная научно-практическая конференция «Имитационное и комплексное моделирование морской техники и морских транспортных систем» – «ИКМ МТМТС 2015»., Санкт-Петербург, Россия, 1 июля 2015
  • Научные отчёты
  • Научные отчёты
    • Исследование и разработка средств управления ИТ- инфраструктурой в проводных корпоративных и ведомственных компьютерных сетях на основе технологии программно-конфигурируемых сетей (ПКС, SDN) и виртуализации сетевых сервисов (NFV) -ВЫБОР НАПРАВЛЕНИЯ ИССЛЕДОВАНИЙ 
      #215062470001, 335 с.
  • Статьи в сборниках
    • A Family of Testbenches to Support Testing of Real-Time Avionics Systems 
      Balashov V.V., Chistolinov M.V., Smeliansky R.L.
      в сборнике Proc. of the 5th EUCASS conference for aerospace science (EUCASS 2013), место издания Munich. Germany
  • Статьи в сборниках
    • A functional testing toolset and its application to development of dependable avionics software 
      Balashov V.V., Baranov A.S., Chistolinov M.V., Gribov D.I., Smeliansky R.L.
      в сборнике Advances in Intelligent and Soft Computing, том 170, с. 19-35
  • Статьи в сборниках
    • Tools For Monitoring Of Data Exchange In Real-Time Avionics Systems 
      Balashov V.V., Balakhanov V.A., Bakhmurov A.G., Chistolinov M.V., Shestov P.E., Smeliansky R.L., Youshchenko N.V.
      в сборнике Proc.4th EUCASS European Conference for Aerospace Sciences, место издания St. Petersburg, Russia
    • Средство генерации кода имитационной модели совместимой со стандартом HLA 
      в сборнике Труды пятой всероссийской научно-практической конференции по имитационному моделированию и его применению в науке и промышленности "Имитационное моделирование. Теория и практика" ИММОД-2011, серия Секция 2 — Средства автоматизации и визуализации имитационного моделирования / ОАО "Центр технологии и судостроения", место издания Санкт-Петербург, том 1, с. 331-335
  • Статьи в сборниках
    • Применение среды моделирования ДИАНА для моделирования бортовых вычислительных систем 
      Балашов В.В., Бахмуров А.Г., Волканов Д.Ю., Чистолинов М.В., Ющенко Н.В.
      в сборнике Труды Международной научной конференции "Моделирование-2010", место издания Киев, Украина, том 1, с. 225-232
  • Статьи в журналах
    • A hardware-in-the-loop simulation environment for real-time systems development and architecture evaluation  
      в журнале International Journal of Critical Computer-Based Systems, том 1, № 1/2/3, с. 5-23
  • Статьи в сборниках
    • A Hardware-in-the-Loop Simulation Environment for Integration of Distributed Avionics Systems 
      Bakhmurov A.G., Balashov V.V., Chistolinov M.V., Smeliansky R.L., Volkanov D.Yu, Youshchenko N.V.
      в сборнике Proc. 3rd EUCASS European Conference for Aerospace Sciences (EUCASS'2009), том 1
    • Approaches To Analysis Of Real-Time Systems Simulation Traces 
      Cherey M.V., Chistolinov M.V., Smeliansky R.L., Volkanov D.Yu
      в сборнике Proc. 3rd EUCASS European Conference for Aerospace Sciences (EUCASS'2009)
    • Стенд полунатурного моделирования для разработки встроенных вычислительных систем 
      в сборнике Методы и средства обработки информации: Третья Всероссийская научная конференция. Труды конференции, место издания Издательский отдел факультета ВМиК МГУ имени М.В. Ломоносова; МАКС Пресс Москва, с. 16-25
    • Стенд полунатурного моделирования для разработки встроенных вычислительных систем реального времени 
      в сборнике Труды Четвертой всероссийской научно-практической конференции «Имитационное моделирование. Теория и практика» (ИММОД-2009), место издания ОАО «ЦТСС» Санкт-Петербург, с. 215-220
  • Статьи в журналах
  • Доклады на научных конференциях
    • Approaches To Analysis Of Real-Time Systems Simulation Traces 
      Cherey M.V., Volkanov D.Yu, Smeliansky R.L., Chistolinov M.V.
      3rd EUCASS European Conference for Aerospace Sciences (EUCASS'2009), Версаль, Франция, 6-9 июля 2009
    • Стенд полунатурного моделирования для разработки встроенных вычислительных систем 
      III Всероссийская научная конференция «Методы и средства обработки информации» (MCO-2009), Москва, 6-8 октября 2009., Москва, Россия, 2009
    • Стенд полунатурного моделирования для разработки встроенных вычислительных систем реального времени 
      Балашов В.В., Волканов Д.Ю., Смелянский Р.Л., Чистолинов М.В., Ющенко Н.В.
      Четвертая всероссийская научно-практическая конференция по имитационному моделированию и его применению в науке и промышленности «ИМИТАЦИОННОЕ МОДЕЛИРОВАНИЕ. ТЕОРИЯ И ПРАКТИКА» ИММОД-2009, Санкт-Петербург, Россия, 21-23 октября 2009
  • Статьи в сборниках
    • A Hardware-in-the-Loop Simulation Environment for Real-Time Systems Development and Architecture Evaluation 
      Balashov V.V., Bakhmurov A.G., Chistolinov M.V., Smeliansky R.L., Volkanov D.Yu, Youshchenko N.V.
      в сборнике Proc. 3rd International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX'2008), с. 80-86
    • Применение стенда полунатурного моделирования для разработки вычислительных систем морского навигационного комплекса 
      в сборнике Программные системы и инструменты. Тематический сборник, серия Программные системы и инструменты, место издания МАКС Пресс Москва, том 9, с. 153-165
    • Стенд полунатурного моделирования для разработки встроенных систем реального времени и оценки их архитектур 
      в сборнике Труды Международной научной конференции «Космос, астрономия и программирование (Лавровские чтения)» 20-22 мая 2008 г, место издания ЦНИИ «Электроприбор» СПб, с. 267-275
  • Тезисы докладов
    • Опыт применения программной среды ДИАНА для моделирования и интеграции бортовых вычислительных систем 
      Балашов В.В., Бахмуров А.Г., Волканов Д.Ю., Смелянский Р.Л., Чистолинов М.В., Мамонтов Г.Т., Юхта П.В.
      в сборнике Рефераты докладов XXVI конференции памяти выдающегося конструктора гироскопических приборов Н.Н. Острякова, место издания ЦНИИ «Электроприбор» С.-Петербург, тезисы, с. 60-61
  • Свидетельства о регистрации прав на программное обеспечение
    • Комплекс программных средств разработки и выполнения имитационных моделей систем КБО (тип не указан) 
      Смелянский Р.Л., Грибов Д.И., Баранов А.С., Щербаков А.В., Филиппов А.А., Балашов В.В., Бахмуров А.Г., Чистолинов М.В., Ющенко Н.В.
      #2003612473, 10 ноября
  • Руководство дипломными работами
    • Создание средств разработки ИМ ВС для архитектуры HLA на базе среды моделирования «ДИАНА» 
      Бахмуров А.Г., Чистолинов М.В.
      Автор: Воробьёв М.А. (Специалист)
  • Статьи в сборниках
    • Инструментальная поддержка проектирования распределенных встроенных вычислительных систем 
      в сборнике , Труды Международной конференции "Параллельные вычисления и задачи управления" Москва, 2-4 октября 2001 г. Институт проблем управления им. В.А.Трапезникова РАН, место издания Изд-во Института проблем управления им. В.А.Трапезникова Москва, с. 33-43
  • Статьи в сборниках
    • On the logical and timed analysis of an airborne navigation system by means of DYANA 
      Smeliansky R.L., Bahmurov A., Chistolinov M., Konchakov R., Tsarkov D.
      в сборнике 4th World Multiconference of Systemics, Cybernetics and Informatics (SCI2000), место издания Zakharov Orlando, USA
    • Towards a unified toolset for embedded systems development 
      Bahmurov A.G., Chistolinov M.V., Epatko I.V., Smelyanskij R.L., Zakharov V.A.
      в сборнике Proceedings of the conference UKRPROG-2000 “Problems of Programming “, том 1, с. 316-322
    • О международном проекте в области проверки правильности программного обеспечения встроенных систем 
      Бахмуров А.Г., Захаров В.А., Смелянский Р.Л., Чистолинов М.В.
      в сборнике Программные системы и инструменты. Тематический сборник, серия Программные системы и инструменты, место издания Изд-факультета ВМиК МГУ Москва, том 1, с. 24-31
    • Среда моделирования многопроцессорных вычислительных систем 
      Бахмуров А.Г., Чистолинов М.В.
      в сборнике Программные системы и инструменты. Тематический сборник, серия Программные системы и инструменты, место издания Изд-факультета ВМиК МГУ Москва, том 1, с. 42-47
  • Тезисы докладов
    • On the logical and timed analysis of an airborne navigation system by means of DYANA 
      Bahmurov A., Chistolinov M., Tsarkov D., Smelyanskij R., Zakharov V.A.
      в сборнике 4-th Multiconference of Systematic, Cybernetics and Informatics (SCI-2000), место издания Orlando, USA, тезисы
    • The development and verification of distributed real time embedded computer systems for avionics 
      Bahmurov A.G., Chistolinov M.V., Smelyanskij R.L., Zakharov V.A.
      в сборнике Тезисы докладов четвертого сибирского конгресса по прикладной и индустриальной математике, том 2, тезисы, с. 128-129
    • The development and verification of distributed real time embedded computer systems for avionics (Project DrTesy) 
      Smeliansky R.L., Chistolinov M.V., Epatko I.V., Grote J.F., Konchakov R.V., Peshko A.S., Tsarkov D.V., Usenko Y.S., Winter K., Zakharov V.A.
      в сборнике Тезисы докладов четвертого сибирского конгресса по прикладной и индустриальной математике, том 2, тезисы, с. 128-129