76511 | ИПУ РАН

Автор(ы):

Автор(ов):

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

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

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

Название:

A Comprehensive Software Verification Technology for Onboard Control Systems of Spacecraft

ISBN/ISSN:

0005-1179

DOI:

10.1134/S0005117923100065

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

Automation and Remote Control

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

Vol. 84, № 10

Город:

Road Town, United Kingdom

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

Pleiades Publishing, Ltd.

Год издания:

2023

Страницы:

1047–1054

Аннотация

This paper conceptualizes the main principles of comprehensive software verification for an onboard spacecraft control system. An optimal comprehensive verification strategy for onboard software is selected by rigorously stating and solving the corresponding optimization problem. Software verification methods with functional correctness indicators are proposed

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

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

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

Да

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

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