Scientific activity

  • Presentations at scientific conferences
    • Подход к решению задачи аппаратной верификации ПЛИС в рамках стандарта DO-254 
      Ломоносовские чтения 2021. Секция вычислительная математика и кибернетика, 20-29 апреля 2021, Москва, Russia, 20-29 апреля 2021
  • Theses reports
    • Подход к решению задачи аппаратной верификации ПЛИС в рамках стандарта DO-254 
      в сборнике Ломоносовские чтения-2021: научная конференция, факультет ВМК МГУ имени М.В.Ломоносова. Тезисы докладов, серия Секция Вычислительной математики и кибернетики, издательство Изд-во Моск. ун-та (М.), том 2021, тезисы, с. 164-165
  • Participation in conference program committees
  • Presentations at scientific conferences
    • Архитектура перспективного имитационного комплекса 
      «Ломоносовские чтения – 2019». Секция «ВМК», Москва, МГУ, Russia, 15-25 апреля 2019
  • Scientific reports
  • Theses reports
    • Архитектура перспективного имитационного комплекса 
      в сборнике Научная конференция ЛОМОНОСОВСКИЕ ЧТЕНИЯ. Тезисы докладов. 15-25 апреля 2019 г., серия СЕКЦИЯ ВЫЧИСЛИТЕЛЬНОЙ МАТЕМАТИКИ И КИБЕРНЕТИКИ, Факультет вычислительной математики и кибернетики, издательство ООО "МАКС Пресс" (Москва), тезисы, с. 113-113
  • Participation in conference program committees
  • Presentations at scientific conferences
    • Архитектура стендовых комплексов имитации и регистрации трафика высоконагруженных бортовых интерфейсов 
      Ломоносовские чтения-2018, секция "Вычислительная математика и кибернетика", МГУ имени М.В. Ломоносова, Russia, 16-27 апреля 2018
  • Scientific reports
  • Theses reports
    • Архитектура стендовых комплексов имитации и регистрации трафика высоконагруженных бортовых интерфейсов 
      в сборнике Материалы Международного молодежного научного форума «Ломоносов-2018», издательство ООО "МАКС Пресс" (Москва), тезисы, с. 121
  • Presentations at scientific conferences
    • Стенд полунатурного моделирования и тестирования КБО-15 лет развития 
      Ломоносовские чтения – 2017, МГУ имени М.В. Ломоносова, Russia, 17-26 апреля 2017
  • Theses reports
    • Стенд полунатурного моделирования и тестирования КБО -15лет развития 
      в сборнике Ломоносовские чтения: Научная конференция, Москва, факультет ВМК МГУ имени М.В.Ломоносова, 17-26 апреля 2017 г. Тезисы докладов, место издания МАКС Пресс Москва, тезисы, с. 76-77
  • Scientific reports
  • Theses reports
    • Окисление органических веществ в водных растворах воздействием барьерного разряда 
      Якушин Р.В., Колесников В.А., Бродский В.А., Чистолинов А.В., Перфильева А.В.
      в сборнике Современные электрохимические технологии и оборудование : материалы докладов Международной научно-технической конференции, место издания Минск : БГТУ Минск, тезисы, с. 199-202
  • Articles in collections
    • A Family of Testbenches to Support Testing of Real-Time Avionics Systems 
      в сборнике Proc. of the 5th EUCASS conference for aerospace science (EUCASS 2013), место издания Munich. Germany
  • Articles in collections
    • 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
  • Articles in collections
    • 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
  • Articles in collections
    • Применение среды моделирования ДИАНА для моделирования бортовых вычислительных систем 
      в сборнике Труды Международной научной конференции "Моделирование-2010", место издания Киев, Украина, том 1, с. 225-232
  • Articles in journals
  • Articles in collections
    • A Hardware-in-the-Loop Simulation Environment for Integration of Distributed Avionics Systems 
      в сборнике Proc. 3rd EUCASS European Conference for Aerospace Sciences (EUCASS'2009), том 1
    • Approaches To Analysis Of Real-Time Systems Simulation Traces 
      в сборнике Proc. 3rd EUCASS European Conference for Aerospace Sciences (EUCASS'2009)
    • Стенд полунатурного моделирования для разработки встроенных вычислительных систем 
      в сборнике Методы и средства обработки информации: Третья Всероссийская научная конференция. Труды конференции, место издания Издательский отдел факультета ВМиК МГУ имени М.В. Ломоносова; МАКС Пресс Москва, с. 16-25
    • Стенд полунатурного моделирования для разработки встроенных вычислительных систем реального времени 
      в сборнике Труды Четвертой всероссийской научно-практической конференции «Имитационное моделирование. Теория и практика» (ИММОД-2009), место издания ОАО «ЦТСС» Санкт-Петербург, с. 215-220
  • Articles in journals
  • Presentations at scientific conferences
    • Approaches To Analysis Of Real-Time Systems Simulation Traces 
      3rd EUCASS European Conference for Aerospace Sciences (EUCASS'2009), Версаль, France, 6-9 июля 2009
    • Стенд полунатурного моделирования для разработки встроенных вычислительных систем 
      III Всероссийская научная конференция «Методы и средства обработки информации» (MCO-2009), Москва, 6-8 октября 2009., Москва, Russia, 2009
    • Стенд полунатурного моделирования для разработки встроенных вычислительных систем реального времени 
      Четвертая всероссийская научно-практическая конференция по имитационному моделированию и его применению в науке и промышленности «ИМИТАЦИОННОЕ МОДЕЛИРОВАНИЕ. ТЕОРИЯ И ПРАКТИКА» ИММОД-2009, Санкт-Петербург, Russia, 21-23 октября 2009
  • Articles in collections
    • A Hardware-in-the-Loop Simulation Environment for Real-Time Systems Development and Architecture Evaluation 
      в сборнике Proc. 3rd International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX'2008), с. 80-86
    • Применение стенда полунатурного моделирования для разработки вычислительных систем морского навигационного комплекса 
      в сборнике Программные системы и инструменты. Тематический сборник, серия Программные системы и инструменты, место издания МАКС Пресс Москва, том 9, с. 153-165
    • Стенд полунатурного моделирования для разработки встроенных систем реального времени и оценки их архитектур 
      в сборнике Труды Международной научной конференции «Космос, астрономия и программирование (Лавровские чтения)» 20-22 мая 2008 г, место издания ЦНИИ «Электроприбор» СПб, с. 267-275
  • Theses reports
    • Опыт применения программной среды ДИАНА для моделирования и интеграции бортовых вычислительных систем 
      в сборнике Рефераты докладов XXVI конференции памяти выдающегося конструктора гироскопических приборов Н.Н. Острякова, место издания ЦНИИ «Электроприбор» С.-Петербург, тезисы, с. 60-61
  • Supervision of diploma projects
    • Создание средств разработки ИМ ВС для архитектуры HLA на базе среды моделирования «ДИАНА» 
      Автор: Воробьёв М.А. (Специалист)
  • Articles in collections
    • Инструментальная поддержка проектирования распределенных встроенных вычислительных систем 
      в сборнике , Труды Международной конференции "Параллельные вычисления и задачи управления" Москва, 2-4 октября 2001 г. Институт проблем управления им. В.А.Трапезникова РАН, место издания Изд-во Института проблем управления им. В.А.Трапезникова Москва, с. 33-43
  • Articles in collections
    • 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
  • Theses reports
    • 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 
      в сборнике Тезисы докладов четвертого сибирского конгресса по прикладной и индустриальной математике, том 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