Современные парадигмы инженерии ПО, в том числе шаблонное метапрограммирование на C++, к сожалению, еще не достаточно широко применяются во многих отраслях российской индустрии, в которых они могли бы быть чрезвычайно эффективны.

Одна из таких индустрий — космическая. В частности, баллистические вычисления (расчеты траекторий ракет-носителей и космических аппаратов) — это до сих пор царство Fortran, что оказывает негативное влияние на надежность ПО.

В докладе поговорим о том, как можно исправить эту ситуацию. Представим шаблонную C++ библиотеку с открытым кодом SpaceBallistics, основанную на другой нашей библиотеке DimTypes и предназначенную для моделирования движения ракет-носителей и космических аппаратов на активных и пассивных участках траектории.

Осветим основные принципы дизайна, реализации и применения обеих библиотек. В частности, максимально сильная предметно-ориентированная система типов на основе C++ шаблонов и вычисления на этапе компиляции, а также сравнение их с существующими технологиями (например, boost::units). Покажем преимущества использования современного C++ по сравнению с «традиционными» технологиями.

Доклад может может быть интересен специалистам в области численных методов, высоконадежных вычислений, теории типов, космической баллистики, а также для специалистам и менеджерам Роскосмоса.

Modern C++ in Space Ballistics Tasks

Speakers

Leonid Merkin