Применение программно-математических моделей бортовой аппаратуры при разработке бортового программного обеспечения

Работа посвящена отработке логики функционирования подсистем космического аппарата на этапе разработки бортового программного обеспечения системы. Усложнение структуры и логики функционирования космических аппаратов в связи с повышением требований в части обеспечения потребителей информационными услугами (навигации, спутникового мониторинга транспорта, геодезии, связи и т.д.) требует поддержания надежности и бесперебойного функционирования, реализации автоматизированного парирования нештатных ситуаций при работе бортовых аппаратур космических аппаратов. Для достижения поставленных требований необходима отладка взаимодействия бортовой аппаратуры и программного обеспечения бортового интегрированного вычислительного комплекса, реализующего целевое функционирование бортовых систем космического аппарата. При этом выполнение требований по увеличению надёжности бортового программного обеспечения не должно приводить к увеличению сроков изготовления космического аппарата. В настоящей работе предложен подход для отработки информационно-логического взаимодействия бортовой аппаратуры и программного обеспечения бортового интегрированного вычислительного комплекса космического аппарата с применением лабораторно-отработочного изделия и программно-математической модели. Описаны основные идеи проведения двухуровневого тестирования бортового программного обеспечения, включающего в себя автономное и системное тестирование на наземном отладочном комплексе. Указанный подход применен в рамках реализации цикла разработки бортового программного обеспечения, проводимого согласно стандартам АО «Информационные спутниковые системы» имени академика М. Ф. Решетнева». Предложенный в работе подход способствует сокращению ошибок при разработке бортового программного обеспечения и проверке информационно-логического взаимодействия бортовой аппаратуры и космического аппарата в целом во всех режимах функционирования.