Email this article A Comprehensive Software Verification Technology for Onboard Control Systems of Spacecraft
- Authors: Kul'ba V.V.1, Mikrin E.A.1, Pavlov B.V.1, Somov S.K.1
-
Affiliations:
- Trapeznikov Institute of Control Sciences, Russian Academy of Sciences
- Issue: No 10 (2023)
- Pages: 48-58
- Section: Articles
- URL: https://journals.rcsi.science/0005-2310/article/view/233416
- DOI: https://doi.org/10.31857/S0005231023100057
- EDN: https://elibrary.ru/YEDKZJ
- ID: 233416
Cite item
Open Access
Access granted
Subscription Access
Abstract
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.
About the authors
V. V. Kul'ba
Trapeznikov Institute of Control Sciences, Russian Academy of Sciences
Email: kulba@ipu.ru
Moscow, Russia
E. A. Mikrin
Trapeznikov Institute of Control Sciences, Russian Academy of Sciences
Email: kulba@ipu.ru
Moscow, Russia
B. V. Pavlov
Trapeznikov Institute of Control Sciences, Russian Academy of Sciences
Email: pavlov@ipu.ru
Moscow, Russia
S. K. Somov
Trapeznikov Institute of Control Sciences, Russian Academy of Sciences
Author for correspondence.
Email: ssomov2016@ipu.ru
Moscow, Russia
References
- Микрин Е.А., Кульба В.В., Павлов Б.В. Разработка моделей и методов проектирования информационно-управляющих систем космических аппаратов // АиТ. 2013. № 3. С. 38-50.
- Микрин Е.А., Кульба В.В., Косяченко С.А., Сомов Д.С., Гладков Ю.М. Комплексная отработка программного обеспечения бортового комплекса управления космическими аппаратами и имитационные модели функционирования бортовых систем и внешней среды. Препринт. М.: ИПУ РАН, 2011.
- Кульба В.В., Микрин Е.А., Павлов Б.В., Платонов В.Н. Теоретические основы проектирования информационно-управляющих систем космических аппаратов. М.: Наука, 2006.
- Куренков В.И., Кучеров А.С. Методы исследования эффективности ракетно-космических систем. Проблемно-ориентированные системы автоматизированного проектирования. Изд-во Самар. гос. аэрокосм. ун-та, 2012.
- Зеленцов В.А., Ковалев А.П., Охтилев М.Ю., Соколов Б.В., Юсупов Р.М. Методология создания и применения интеллектуальных информационных технологий наземно-космического мониторинга сложных объектов / Труды СПИИРАН. 2013. Вып. 5(28).
- Микрин Е.А. Бортовые комплексы управления космическими аппаратами и проектирование их программного обеспечения M.: МГТУ им. Н.Э. Баумана, 2003. 336 с.
- Микрин Е.А. Принципы построения бортовых комплексов управления автоматических космических аппаратов / Е.А. Микрин, Н.А. Суханов, В.Н. Платонов и др. // Проблемы управления. 2004. № 3. С. 62-66.
