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

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

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

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

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

Расписание