Подробное описание документа

Бжинаев И. К., Коваленко А. А.
   Транслятор для решения задач реализации полетных операций / Бжинаев И. К., Коваленко А. А. // Академические чтения по космонавтике, посвящённые памяти академика С. П. Королёва и других выдающихся отечественных учёных — пионеров освоения космического пространства, 48-е, 23-26 января 2024 года : сборник тезисов / Российская академия наук, Государственная корпорация по космической деятельности "Роскосмос", Комиссия РАН по разработке научного наследия пионеров освоения космического пространства, МГТУ им. Н. Э. Баумана (национальный исследовательский университет). - 2024. - Т. 2. - С. 543-545.

Развитие отечественной космонавтики актуализирует задачу совершенствования существующей системы реализации полетных операций. Ряд проблем в обозначенной области предлагается решать с помощью применения методов формального программирования требующего дополнительного инструментария. В данной работе формируется описание требуемых функциональных возможностей программного обеспечения (ПО), предназначенного для трансляции формализованных полетных процедур на специализированном языке в массивы цифровой информации (МЦИ). Приводится обобщенная схема программы транслятора.
Ключевые слова: РС МКС, полетные операции, формальное программирование, трансляторы, базы данных