Автор(ы): Кульба В. В. (ИПУ РАН, Лаборатория 20) НЕАКТУАЛЬНАЯ ЗАПИСЬМикрин Е. А. (ИПУ РАН, Лаборатория 01) НЕАКТУАЛЬНАЯ ЗАПИСЬПавлов Б. В. (ИПУ РАН, Лаборатория 01)Сомов С. К. (ИПУ РАН, Лаборатория 20)Автор(ов): 4 Параметры публикацииТип публикации: Статья в журнале/сборникеНазвание: A Comprehensive Software Verification Technology for Onboard Control Systems of SpacecraftISBN/ISSN: 0005-1179DOI: 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.
