75322 | ИПУ РАН

Автор(ы):

Автор(ов):

Параметры публикации

Тип публикации:

Статья в журнале/сборнике

Название:

Технология комплексной отработки программного обеспечения бортовых систем космических аппаратов

ISBN/ISSN:

0005-2310

DOI:

10.31857/S0005231023100057

Наименование источника:

Автоматика и телемеханика

Обозначение и номер тома:

№ 10

Город:

Москва

Издательство:

РАН

Год издания:

2023

Страницы:

48-58

Аннотация

В работе представлены основные положения концепции комплексной отработки программного обеспечения бортового комплекса управления космическими аппаратами. Выполнена постановка и предложен метод решения задачи выбора оптимальной стратегии комплексной отработки бортового комплекса программ. Предложены методы отработки программного обеспечения по показателям функциональной корректности.

Библиографическая ссылка:

Кульба В.В., Микрин Е.А., Павлов Б.В., Сомов С.К. Технология комплексной отработки программного обеспечения бортовых систем космических аппаратов // Автоматика и телемеханика. 2023. № 10. С. 48-58.

Публикация имеет версию на другом языке или вышла в другом издании, например, в электронной (или онлайн) версии журнала:

Да

Связь с публикацией:

Кульба В.В., Микрин Е.А., Павлов Б.В., Сомов С.К. A Comprehensive Software Verification Technology for Onboard Control Systems of Spacecraft // Automation and Remote Control. 2023. Vol. 84, № 10. С. 1047–1054.