Ключевые аспекты эффективной технологии создания бортового программного обеспечения спутников связи, навигации и геодезии

Статья подводит итог более чем сорокалетнему периоду развития технологии создания и сопровождения бортового программного обеспечения космических аппаратов в Акционерном обществе «Информационные спутниковые системы» имени академика М. Ф. Решетнёва» (в настоящее время АО «РЕШЕТНЁВ») и содержит обзор ключевых аспектов, делающих эту технологию эффективной: ПО спутника разрабатывается как совокупность ПО систем спутника, рассматриваемых как ПО, встроенное в эти системы; ПО систем спутника функционируют в единой аппаратно-программной среде и разрабатываются на единых средствах по единой технологии; система поддержки проектирования, системного тестирования и сопровождения ПО строится на основе информационной модели ПО спутника и системе архивов объектов разработки; среда разработки, автономного тестирования и верификации программ ПО систем строится на основе кросс-системы программирования на языке Модула-2, содержащей интерпретаторы команд бортовых компьютеров; переносимость функционального ПО на новую вычислительную платформу обеспечивается постоянством программных интерфейсов и специальными методами адаптации унифицированной бортовой ОС для новых вычислительных платформ; управление качеством, базируется на качестве компонент ПО, качестве управления конфигурацией ПО и качестве верификации и подтверждения ПО в целом; трёхуровневое управление объектами и работами; использование программных моделей спутников как для целей системного тестирования ПО спутника, так и для его сопровождения при эксплуатации