Мы в социальных сетях
Мы в социальных сетях
Леонид Меркин
Профессор @ МФТИ, НИУ ВШЭ
Москва

Современный C++ для высоконадежных вычислений в области динамики космических аппаратов

  • Зал: Разработка - 3
  • Категории: Разработка
  • Секции: C++

Описание:

Рассматривается задача повышения уровня надежности mission-critical IT решений в российской аэрокосмической индустрии, на основе технологий программирования с развитыми системами типов, а именно C++ стандартов 11—23.

Для этой цели реализованы C++ библиотеки с открытым исходным кодом: DimTypes и SpaceBallistics. Библиотека DimTypes реализует систему размерных типов на основе compile-time Z_p арифметики, а SpaceBallistics — type-safe модели динамики ракет-носителей и космических аппаратов, методы дизайна и оптимизации траекторий.

Данные библиотеки могут рассматриваться как прототипы высоконадежных IT решений для российской аэрокосмической индустрии; они также используются в академических целях.

О спикере

Леонид Меркин
Профессор @ МФТИ, НИУ ВШЭ
Москва

Прикладной математик, Computer Scientist и C++ гуру. Doctor of Mathematics (TU Delft, The Netherlands, 1997). В 2020-22 гг -- научный руководитель проекта InnoChain по созданию первой в мире формально-верифицированной системы распределенного реестра. В наст.вр. -- профессор Департамента информатики НИУ ВШЭ в Санкт-Петербурге. Также преподает в МФТИ (Физтех-школа прикладной математики и информатики). Основные области деятельности -- финансовая математика, стохастический анализ, численные методы, теория типов, формальная верификация ПО, высоконадежные системы реального времени, современные стандарты языка C++.

Похожие доклады